fix #4433

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 3, 2020 · 8ae42b5 · 8ae42b5
1 parent f5cd4e3
commit 8ae42b5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
@@ -2386,9 +2386,9 @@ namespace smt {
                 expr * e = q->get_expr();
                 reset_cache();
                 if (!m.inc()) return;
-                SASSERT(m_ttodo.empty());
-                SASSERT(m_ftodo.empty());
-
+                m_ttodo.reset();
+                m_ftodo.reset();
+  
                 if (is_clause(m, e)) {
                     process_clause(e);
                 }