passing in reference to assert_boolean

o1-labs · Dec 23, 2024 · 037f60a · 037f60a
1 parent 758fb1e
commit 037f60a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/o1vm/src/interpreters/riscv32im/interpreter.rs b/o1vm/src/interpreters/riscv32im/interpreter.rs
@@ -594,9 +594,9 @@ pub trait InterpreterEnv {
     fn check_boolean(x: &Self::Variable);
 
     /// Assert that the value `x` is boolean, and add a constraint in the proof system.
-    fn assert_boolean(&mut self, x: Self::Variable) {
-        Self::check_boolean(&x);
-        self.add_constraint(x.clone() * x.clone() - x);
+    fn assert_boolean(&mut self, x: &Self::Variable) {
+        Self::check_boolean(x);
+        self.add_constraint(x.clone() * x.clone() - x.clone());
     }
 
     fn add_lookup(&mut self, lookup: Lookup<Self::Variable>);