diff options
Diffstat (limited to 'src/theory/unconstrained_simplifier.cpp')
| -rw-r--r-- | src/theory/unconstrained_simplifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/unconstrained_simplifier.cpp b/src/theory/unconstrained_simplifier.cpp index 32bbc662e..d13cc1f03 100644 --- a/src/theory/unconstrained_simplifier.cpp +++ b/src/theory/unconstrained_simplifier.cpp @@ -107,6 +107,7 @@ void UnconstrainedSimplifier::processUnconstrained() workList.push_back(*it); } Node currentSub; + TNode parent; bool swap; bool isSigned; bool strict; @@ -117,7 +118,7 @@ void UnconstrainedSimplifier::processUnconstrained() workList.pop_back(); for (;;) { Assert(d_visitedOnce.find(current) != d_visitedOnce.end()); - const TNode parent = d_visitedOnce[current]; + parent = d_visitedOnce[current]; if (!parent.isNull()) { swap = isSigned = strict = false; switch (parent.getKind()) { |