diff options
author | Tim King <taking@google.com> | 2016-09-27 09:18:34 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-09-27 09:18:34 -0700 |
commit | 4c27cb4c58d0f4acc79effc3ecc759aad976bcd3 (patch) | |
tree | 5daed3078f59e071943df43ebb7165fa8e38a241 /src/theory | |
parent | f5ccf00833045487f75d2e241ea6b428f7da5dc2 (diff) |
Reverting part of the previous changes to unconstrained simplifier.
Diffstat (limited to 'src/theory')
-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()) { |