From 2ece1ef9601b5ef53b0589bc732b09b95da2b555 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Thu, 24 Apr 2014 17:06:43 -0400 Subject: [PATCH] optimization --- src/theory/sets/theory_sets_private.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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, -- 2.30.2