From 4425c13efca43a05f468c0a9e999afa0035d0879 Mon Sep 17 00:00:00 2001
From: Bryan Gillespie <bryan@inversed.tech>
Date: Wed, 11 Dec 2024 08:31:17 -0700
Subject: [PATCH] Change unnecessary generic constant with hard-coded value for
 readability

---
 ceno_zkvm/src/instructions/riscv/div.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ceno_zkvm/src/instructions/riscv/div.rs b/ceno_zkvm/src/instructions/riscv/div.rs
index 2481a7c12..3ea6af8dc 100644
--- a/ceno_zkvm/src/instructions/riscv/div.rs
+++ b/ceno_zkvm/src/instructions/riscv/div.rs
@@ -293,7 +293,7 @@ impl<E: ExtensionField, I: RIVInstruction> Instruction<E> for ArithInstruction<E
             || "quotient_zero_division",
             is_divisor_zero.expr(),
             quotient.value(),
-            ((1u64 << UInt::<E>::TOTAL_BITS) - 1).into(),
+            u32::MAX.into(),
             quotient.value(),
         )?;