Fix to_signed

powdr-labs · Nov 3, 2023 · 452dbd1 · 452dbd1
1 parent 9afaf63
commit 452dbd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riscv_executor/src/lib.rs b/riscv_executor/src/lib.rs
@@ -555,7 +555,7 @@ impl<'a, 'b, F: FieldElement> Executor<'a, 'b, F> {
                 self.proc.s("Y", args[0]);
 
                 // execution
-                let r = args[0].u() as u32 as i64;
+                let r = args[0].u() as i32;
 
                 // output
                 self.proc.s("X", r);