diff options
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index cde85a186..3e9b81263 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -3184,8 +3184,7 @@ void SmtEnginePrivate::collectSkolems(TNode n, set<TNode>& skolemSet, unordered_ size_t sz = n.getNumChildren(); if (sz == 0) { - IteSkolemMap::iterator it = getIteSkolemMap().find(n); - if (it != getIteSkolemMap().end()) + if (getIteSkolemMap().find(n) != getIteSkolemMap().end()) { skolemSet.insert(n); } @@ -3210,11 +3209,12 @@ bool SmtEnginePrivate::checkForBadSkolems(TNode n, TNode skolem, unordered_map<N size_t sz = n.getNumChildren(); if (sz == 0) { - IteSkolemMap::iterator it = getIteSkolemMap().find(n); + IteSkolemMap::iterator iit = getIteSkolemMap().find(n); bool bad = false; - if (it != getIteSkolemMap().end()) + if (iit != getIteSkolemMap().end()) { - if (!((*it).first < n)) { + if (!((*iit).first < n)) + { bad = true; } } |