From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 24 Apr 2014 21:06:43 +0000 (-0400)
Subject: optimization
X-Git-Tag: cvc5-1.0.0~6956^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ece1ef9601b5ef53b0589bc732b09b95da2b555;p=cvc5.git

optimization
---

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index a4a5f76d4..edb245d99 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -1181,8 +1181,8 @@ void TheorySetsPrivate::TermInfoManager::mergeTerms(TNode a, TNode b) {
              (*itb).second->elementsNotInThisSet);
 
   /* sets containing this element */
-  pushToSettermPropagationQueue( b, (*ita).second->setsContainingThisElement, true);
-  pushToSettermPropagationQueue( b, (*ita).second->setsNotContainingThisElement, false);
+  // pushToSettermPropagationQueue( b, (*ita).second->setsContainingThisElement, true);
+  // pushToSettermPropagationQueue( b, (*ita).second->setsNotContainingThisElement, false);
   pushToSettermPropagationQueue( a, (*itb).second->setsNotContainingThisElement, false);
   pushToSettermPropagationQueue( a, (*itb).second->setsContainingThisElement, true);
   mergeLists( (*ita).second->setsContainingThisElement,