Remove unnecessary mod_floor

lambdaclass · Apr 27, 2023 · 590cf59 · 590cf59
1 parent fa3ad65
commit 590cf59
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/hint_processor/builtin_hint_processor/math_utils.rs b/src/hint_processor/builtin_hint_processor/math_utils.rs
@@ -605,8 +605,7 @@ pub fn is_addr_bounded(
     let addr_bound = constants
         .get(ADDR_BOUND)
         .ok_or(HintError::MissingConstant(ADDR_BOUND))?
-        .to_biguint()
-        .mod_floor(&prime);
+        .to_biguint();
 
     let lower_bound = BigUint::one() << 250_u32;
     let upper_bound = BigUint::one() << 251_u32;