diff --git a/ceno_zkvm/src/instructions/riscv/blt.rs b/ceno_zkvm/src/instructions/riscv/blt.rs
index 323c7726b..3b6667f36 100644
--- 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
index 096f93425..f35589f10 100644
--- 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>,