fix

SRI-CSL · Sep 27, 2024 · 2a5dbee · 2a5dbee
1 parent 34a8942
commit 2a5dbee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/polynomial/polynomial.c b/src/polynomial/polynomial.c
@@ -1524,7 +1524,7 @@ int lp_polynomial_constraint_infer_bounds(const lp_polynomial_t* A, lp_sign_cond
     if (r) {
       return r;
     }
-    return lp_polynomial_constraint_infer_bounds(A, LP_SGN_LE_0, 0, M);
+    return lp_polynomial_constraint_infer_bounds(A, LP_SGN_GE_0, 0, M);
   }
   case LP_SGN_NE_0: // |x| - d != 0 => ?
     return 0;