Kimchi: apply clippy suggestions to use flatten()

o1-labs · Jul 21, 2023 · aa5abdc · aa5abdc
1 parent d9bedac
commit aa5abdc
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/kimchi/src/verifier.rs b/kimchi/src/verifier.rs
@@ -579,11 +579,10 @@ where
     }
 
     // Lookup evaluations
-    for sorted in lookup_sorted {
-        if let Some(sorted) = sorted {
-            check_eval_len(sorted)?;
-        }
+    for sorted in lookup_sorted.iter().flatten() {
+        check_eval_len(sorted)?
     }
+
     if let Some(lookup_aggregation) = lookup_aggregation {
         check_eval_len(lookup_aggregation)?;
     }