Remove unnecessary typecasts in a couple of places

scroll-tech · Oct 30, 2024 · 94e58ab · 94e58ab
1 parent 9e1457d
commit 94e58ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ceno_zkvm/src/instructions/riscv/mulh.rs b/ceno_zkvm/src/instructions/riscv/mulh.rs
@@ -434,7 +434,7 @@ mod test {
                     insn_code,
                     rs1 as u32,
                     rs2 as u32,
-                    Change::new(0, signed_prod_high as u32),
+                    Change::new(0, signed_prod_high),
                     0,
                 ),
             ])
@@ -445,7 +445,7 @@ mod test {
         cb.require_equal(
             || "assert_rd_written",
             rd_written_expr,
-            Expression::from(signed_prod_high as u32),
+            Expression::from(signed_prod_high),
         )
         .unwrap();