diff --git a/src/constraint_solver/expr_array.cc b/src/constraint_solver/expr_array.cc index 5d78fa70e5..4eb05d348d 100644 --- a/src/constraint_solver/expr_array.cc +++ b/src/constraint_solver/expr_array.cc @@ -2707,6 +2707,9 @@ IntExpr* MakeScalProdFct(Solver* solver, const std::vector& pre_vars, coefs.push_back(c); } else { ok = false; + vars.clear(); + coefs.clear(); + break; } } if (!ok) {