fmt

scroll-tech · Sep 25, 2024 · 3ef36c0 · 3ef36c0
1 parent 0713aba
commit 3ef36c0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/ceno_zkvm/src/instructions/riscv/ecall/halt.rs b/ceno_zkvm/src/instructions/riscv/ecall/halt.rs
@@ -74,7 +74,12 @@ impl<E: ExtensionField> Instruction<E> for HaltInstruction<E> {
             step.rs1().unwrap().value,
             (ECALL_HALT[0] + (ECALL_HALT[1] << 16)) as u32
         );
-        assert_eq!(step.pc().after.0, 0, "pc after ecall/halt {:x}", step.pc().after.0);
+        assert_eq!(
+            step.pc().after.0,
+            0,
+            "pc after ecall/halt {:x}",
+            step.pc().after.0
+        );
 
         set_val!(
             instance,