Module: ppl/ppl Branch: pip Commit: 2709f6de0c8835f0745133f97d705647b67b2c95 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c883...

Author: François Galea francois.galea@uvsq.fr Date: Thu Nov 26 10:47:08 2009 +0100

Fixed a regression.

---

src/PIP_Problem.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 8e09125..b7100e8 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -127,10 +127,11 @@ PPL::PIP_Problem::solve() const { x.external_space_dim = c_space_dim; bool has_nonzero_variable_coefficient = false; for (i = 0; i < c_space_dim; ++i) { - if (c->coefficient(Variable(i)) != 0 && parameters.count(i) == 0) + if (c->coefficient(Variable(i)) != 0 && parameters.count(i) == 0) { /* Constraint should not be inserted in context. */ has_nonzero_variable_coefficient = true; break; + } } if (!has_nonzero_variable_coefficient) { // At this point, the constraint must be translated into context row.