fmt

o1-labs · Oct 26, 2024 · b67df9a · b67df9a
1 parent 9caea7b
commit b67df9a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/o1vm/src/interpreters/mips/interpreter.rs b/o1vm/src/interpreters/mips/interpreter.rs
@@ -569,7 +569,9 @@ pub trait InterpreterEnv {
         self.lookup_32bits(value);
 
         // Second, check upperbound: value + 2^32 - 2^bits < 2^32
-        self.lookup_32bits(&(value.clone() + Self::constant64(1u64 << 32) - Self::constant64(1u64 << bits)));
+        self.lookup_32bits(
+            &(value.clone() + Self::constant64(1u64 << 32) - Self::constant64(1u64 << bits)),
+        );
     }
 
     fn range_check64(&mut self, _value: &Self::Variable) {