diff --git a/solver/src/reasoners/cp/mod.rs b/solver/src/reasoners/cp/mod.rs
index 342eab18..d9d347ab 100644
--- a/solver/src/reasoners/cp/mod.rs
+++ b/solver/src/reasoners/cp/mod.rs
@@ -472,8 +472,8 @@ mod tests {
     /* =============================== Helpers ============================== */
 
     fn check_bounds(s: &LinearSumLeq, e: SumElem, d: &Domains, lb: IntCst, ub: IntCst) {
-        assert_eq!(s.get_lower_bound(e, d), lb);
-        assert_eq!(s.get_upper_bound(e, d), ub);
+        assert_eq!(s.get_lower_bound(e, d), lb.into());
+        assert_eq!(s.get_upper_bound(e, d), ub.into());
     }
 
     fn check_bounds_var(v: VarRef, d: &Domains, lb: IntCst, ub: IntCst) {