diff options
| -rw-r--r-- | src/theory/uf/symmetry_breaker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/symmetry_breaker.cpp b/src/theory/uf/symmetry_breaker.cpp index bd85b735d..d5e18ed14 100644 --- a/src/theory/uf/symmetry_breaker.cpp +++ b/src/theory/uf/symmetry_breaker.cpp @@ -743,7 +743,7 @@ SymmetryBreaker::selectMostPromisingTerm(Terms& terms) { void SymmetryBreaker::insertUsedIn(Term term, const Permutation& p, set<Node>& cts) { // insert terms from p used in term into cts //Debug("ufsymm") << "UFSYMM usedIn(): " << term << " , " << p << endl; - if(find(p.begin(), p.end(), term) != p.end()) { + if (p.find(term) != p.end()) { cts.insert(term); } else { for(TNode::iterator i = term.begin(); i != term.end(); ++i) { |