1 files changed, 5 insertions, 3 deletions
diff --git a/src/theory/quantifiers/quantifiers_rewriter.cpp b/src/theory/quantifiers/quantifiers_rewriter.cpp
index f2a47e8d8..e911b0dc4 100644
--- a/src/theory/quantifiers/quantifiers_rewriter.cpp
+++ b/src/theory/quantifiers/quantifiers_rewriter.cpp
@@ -550,10 +550,12 @@ Node QuantifiersRewriter::computeProcessTerms( Node body, bool hasPol, bool pol,
             break;
           }
         }else{
-          for( unsigned j=0; j<new_cond.size(); j++ ){
-            currCond.erase( new_cond[j] );
+          if( !new_cond.empty() ){
+            for( unsigned j=0; j<new_cond.size(); j++ ){
+              currCond.erase( new_cond[j] );
+            }
+            cache.clear();
           }
-          cache.clear();
         }
       }
       children.push_back( nn );