From 94e58abdeed445d98098c2d65bb4f3ae773f5bca Mon Sep 17 00:00:00 2001
From: Bryan Gillespie <bryan@inversed.tech>
Date: Wed, 30 Oct 2024 14:41:04 -0600
Subject: [PATCH] Remove unnecessary typecasts in a couple of places

---
 ceno_zkvm/src/instructions/riscv/mulh.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ceno_zkvm/src/instructions/riscv/mulh.rs b/ceno_zkvm/src/instructions/riscv/mulh.rs
index aaf9ed2d9..9038509de 100644
--- 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();