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

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Thu Nov  5 14:40:39 2009 +0100

Fixed a bug.

---

 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 6228597..24cc78b 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -223,7 +223,7 @@ PIP_Solution_Node::PIP_Solution_Node(const PIP_Solution_Node &x)
     mapping(x.mapping),
     var_row(x.var_row),
     var_column(x.var_column),
-    special_equality_row(0),
+    special_equality_row(x.special_equality_row),
     sign(x.sign),
     solution(x.solution),
     solution_valid(x.solution_valid) {