From 5e0db027531d3b9b9ac00eb5e95319cb89ea3066 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 30 Mar 2023 17:27:55 -0700
Subject: [PATCH] reset conflict after unsat core

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polysat/solver.cpp | 1 +
 1 file changed, 1 insertion(+)

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 {