fix

2014-05-12 08:55:11 +00:00
parent 21bb097f2b
commit c6e148de2e
1 changed files with 3 additions and 0 deletions
--- 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<IntVar*>& pre_vars,
      coefs.push_back(c);
    } else {
      ok = false;
+      vars.clear();
+      coefs.clear();
+      break;
    }
  }
  if (!ok) {