fix lint

scroll-tech · Sep 10, 2024 · 60ea85c · 60ea85c
1 parent 4d6de63
commit 60ea85c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/ceno_zkvm/src/instructions/riscv/blt.rs b/ceno_zkvm/src/instructions/riscv/blt.rs
@@ -239,8 +239,8 @@ mod test {
     use goldilocks::GoldilocksExt2;
     use itertools::Itertools;
     use multilinear_extensions::mle::IntoMLEs;
-    use std::array;
     use rand::rngs::OsRng;
+    use std::array;
 
     use crate::{circuit_builder::ConstraintSystem, scheme::mock_prover::MockProver};
 
@@ -261,7 +261,7 @@ mod test {
         .unwrap();
 
         let rng = OsRng;
-        let challenges: [GoldilocksExt2;2] = array::from_fn(|_| GoldilocksExt2::random(rng));
+        let challenges: [GoldilocksExt2; 2] = array::from_fn(|_| GoldilocksExt2::random(rng));
         MockProver::run(
             &mut circuit_builder,
             &raw_witin
@@ -271,7 +271,8 @@ mod test {
                 .map(|v| v.into())
                 .collect_vec(),
             Some(challenges),
-        ).unwrap();
+        )
+        .unwrap();
         Ok(())
     }
 

diff --git a/ceno_zkvm/src/scheme/mock_prover.rs b/ceno_zkvm/src/scheme/mock_prover.rs
@@ -352,7 +352,6 @@ pub fn load_u16_table<E: ExtensionField>(
     }
 }
 
-
 pub fn load_and_table<E: ExtensionField>(
     t_vec: &mut Vec<E>,
     cb: &CircuitBuilder<E>,
-Original file line number
+Diff line change
@@ Expand Up / @@ -352,7 +352,6 @@ pub fn load_u16_table<E: ExtensionField>( @@
         }
     }
     pub fn load_and_table<E: ExtensionField>(
         t_vec: &mut Vec<E>,
         cb: &CircuitBuilder<E>,
@@ Expand Down @@