Issue #1060 and fix

This commit is contained in:
Jindra Petřík
2015-10-20 23:00:55 +02:00
parent 27b1a43888
commit 07cf580042

View File

@@ -2014,6 +2014,7 @@ public class Graph {
stack.push(new AndItem(null, prevExpr, rightSide));
} else if (prevExpr instanceof FalseItem) {
isIf = false;
leftSide = leftSide.invert(null);
stack.push(new AndItem(null, leftSide, rightSide));
} else if (prevExpr instanceof TrueItem) {
isIf = false;