From 2ecca92bf6cebe67a51713ae2ad3f624b4a1757c Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 1 Jun 2022 20:17:21 +0200
Subject: [PATCH] Minor

---
 evm/src/all_stark.rs | 2 +-
 evm/src/prover.rs    | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/evm/src/all_stark.rs b/evm/src/all_stark.rs
index b5c65fec..ee779531 100644
--- a/evm/src/all_stark.rs
+++ b/evm/src/all_stark.rs
@@ -111,7 +111,7 @@ mod tests {
             looking_columns: vec![vec![2, 4]],
             looked_table: Table::Keccak,
             looked_columns: vec![3, 5],
-            default: vec![F::ONE; 2],
+            default,
         }];
 
         let all_stark = AllStark {
diff --git a/evm/src/prover.rs b/evm/src/prover.rs
index df3b6db8..c0cc387a 100644
--- a/evm/src/prover.rs
+++ b/evm/src/prover.rs
@@ -527,8 +527,7 @@ fn check_constraints<'a, F, C, S, const D: usize>(
         })
         .collect::<Vec<_>>();
 
-    let values = transpose(&constraint_values);
-    for v in values {
+    for v in constraint_values {
         assert!(v.iter().all(|x| x.is_zero()));
     }
 }