fix: clippy

facebook · Sep 26, 2024 · e1d0c92 · e1d0c92
1 parent 4708d2b
commit e1d0c92
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/air/src/air/context.rs b/air/src/air/context.rs
@@ -307,8 +307,7 @@ impl<B: StarkField, P> AirContext<B, P> {
 
         // we use the identity: ceil(a/b) = (a + b - 1)/b
         let num_constraint_col =
-            (highest_constraint_degree - transition_divisior_degree + trace_length - 1)
-                / trace_length;
+            (highest_constraint_degree - transition_divisior_degree).div_ceil(trace_length);
 
         cmp::max(num_constraint_col, 1)
     }