optimization
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 24 Apr 2014 21:06:43 +0000 (17:06 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 24 Apr 2014 21:06:43 +0000 (17:06 -0400)
src/theory/sets/theory_sets_private.cpp

index a4a5f76d499c2906045e0db341f6808daf407bcd..edb245d999a327d39ac119a53c3e79f20bcd8ae8 100644 (file)
@@ -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,