diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-24 17:06:43 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-24 17:06:43 -0400 |
| commit | 2ece1ef9601b5ef53b0589bc732b09b95da2b555 (patch) | |
| tree | 28b548d3ab861bf6e8eb1912b5b7111517e8912d | |
| parent | e6b834f2976c736b6e9df1cc017bc2d72c00b27c (diff) | |
optimization
| -rw-r--r-- | src/theory/sets/theory_sets_private.cpp | 4 |
1 files 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, |