From a941f5ae84ff5048a4cb00d09ff700cea40582a8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Jan 2025 20:56:44 -0800
Subject: [PATCH] reset m_conflict indicator on sls model

---
 src/smt/smt_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 20a4bdde1..c85d15378 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3517,6 +3517,7 @@ namespace smt {
             r = l_undef;
         if (r == l_undef && m_internal_completed == l_true && has_sls_model()) {
             m_last_search_failure = OK;
+            m_conflict = null_b_justification;
             r = l_true;
         }
         m_internal_completed = l_false;