From bc806966cdfaad0e4c53677f563a46adf8549fba Mon Sep 17 00:00:00 2001
From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com>
Date: Thu, 26 Sep 2024 21:49:06 +0200
Subject: [PATCH] fix: clippy

---
 air/src/air/context.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/air/src/air/context.rs b/air/src/air/context.rs
index 6eb035af9..ac1d20fae 100644
--- 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)
     }