[PPL-devel] [GIT] ppl/ppl(pip): Fixed a regression.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Nov 27 08:10:18 2009 +0100

Fixed a regression.

---

 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 139df97..72e1d1e 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -1270,7 +1270,7 @@ PIP_Solution_Node::update_tableau(const PIP_Problem& problem,
         ++v;
       }
     }
-    if (row_sign(var, 0) != ZERO) {
+    if (row_sign(var, not_a_dimension()) != ZERO) {
       /* parametric-only constraints have already been inserted in initial
         context, so no need to insert them in the tableau
       */