diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp
index c69f761d1..db80ec283 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -1611,6 +1611,7 @@ namespace polysat {
         if (ok)
             log_lemma_smt2(*cb.build());  // check the unsat core
 #endif
+        m_conflict.reset();                
     }
 
     std::ostream& solver::display_search(std::ostream& out) const {