refactor: replace unstable div_ceil

geometers · Jul 15, 2024 · 8f819a0 · 8f819a0
1 parent 1c4faaa
commit 8f819a0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -187,7 +187,6 @@ FpMul:
 
 
 */
-#![feature(int_roundings)]
 mod check_carry_to_zero;
 mod lookup_range_check;
 mod mul_cfgs;

diff --git a/src/lookup_range_check.rs b/src/lookup_range_check.rs
@@ -213,7 +213,8 @@ impl<F: PrimeFieldBits, const K: usize> LookupRangeCheckConfig<F, { K }> {
     ) -> Result<RunningSum<F>, Error> {
         // `num_bits` must fit into a single field element.
         assert!(num_bits <= F::CAPACITY as usize);
-        let num_words = num_bits.div_ceil(K);
+        // use (a + b - 1) / b to get the ceiling of a/b instead of unstable `div_ceil`
+        let num_words = (num_bits + K - 1) / K;
 
         // Chunk the first num_bits bits into K-bit words.
         let words = {