chore(cp): fix compilation errors in tests

plaans · Nov 22, 2023 · a4c3626 · a4c3626
1 parent 174473f
commit a4c3626
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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) {