From 50c8533760bfd5b1f803d52bc4318c544521e6af Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Mon, 9 Nov 2015 11:16:47 -0800
Subject: [PATCH] Replacing an inefficient use of std::find(...) to use
 std::set's find() instead.

---
 src/theory/uf/symmetry_breaker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {
-- 
2.30.2