diff --git a/arrabbiata/src/constraints.rs b/arrabbiata/src/constraints.rs
index ae10bc5b10..4f72c381aa 100644
--- a/arrabbiata/src/constraints.rs
+++ b/arrabbiata/src/constraints.rs
@@ -118,7 +118,7 @@ where
     fn add_constraint(&mut self, constraint: Self::Variable) {
         let degree = constraint.degree(1, 0);
         debug!("Adding constraint of degree {degree}: {:}", constraint);
-        assert!(degree <= MAX_DEGREE, "degree is too high: {}. The folding scheme used currently allows constraint up to degree {}", degree, MAX_DEGREE);
+        assert!(degree <= MAX_DEGREE.try_into().unwrap(), "degree is too high: {}. The folding scheme used currently allows constraint up to degree {}", degree, MAX_DEGREE);
         self.constraints.push(constraint);
     }
 
diff --git a/arrabbiata/src/lib.rs b/arrabbiata/src/lib.rs
index c3758725f2..6358963b28 100644
--- a/arrabbiata/src/lib.rs
+++ b/arrabbiata/src/lib.rs
@@ -17,7 +17,7 @@ pub mod witness;
 
 /// The maximum degree of the polynomial that can be represented by the
 /// polynomial-time function the library supports.
-pub const MAX_DEGREE: u64 = 5;
+pub const MAX_DEGREE: usize = 5;
 
 /// The minimum SRS size required to use Nova, in base 2.
 /// Requiring at least 2^16 to perform 16bits range checks.