fix bug in joining constraint trees
This commit is contained in:
parent
61ee95d92a
commit
862e90a36b
@ -1048,7 +1048,7 @@ ConstraintTree::join (
|
||||
CTChilds::const_iterator it = currNode->findSymbol (tuple[currIdx]);
|
||||
if (it != currNode->childs().end()) {
|
||||
if (currIdx == tuple.size() - 1) {
|
||||
appendOnBottom (currNode, appendNode->childs());
|
||||
appendOnBottom (*it, appendNode->childs());
|
||||
return true;
|
||||
} else {
|
||||
tupleFounded = join (*it, tuple, currIdx + 1, appendNode);
|
||||
|
Reference in New Issue
Block a user