[PPL-devel] [GIT] ppl/ppl(pip): Fixed regression due to change in index ordering in parameter constraints.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Tue Sep 29 14:45:48 2009 +0200

Fixed regression due to change in index ordering in parameter constraints.

---

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

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 1012838..3853e72 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -44,7 +44,7 @@ merge_assign(Matrix& x,
              const Constraint_System& y,
              const Variables_Set &parameters) {
   dimension_type width = x.num_columns();
-  PPL_ASSERT(y.empty() || y.begin()->space_dimension() == width-1);
+  PPL_ASSERT(parameters.size() == width-1);
   Row row(width, Row::Flags());
   Variables_Set::iterator param_begin = parameters.begin();
   Variables_Set::iterator param_end = parameters.end();