From 005ebf4276b23a85a48764dcfcbcd3d2b1183b22 Mon Sep 17 00:00:00 2001
From: Florian <pollittf@informatik.uni-freiburg.de>
Date: Wed, 31 Jan 2024 17:02:58 +0100
Subject: [PATCH] one more reset concluded

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

diff --git a/src/solver.cpp b/src/solver.cpp
index 6d8cc61a..e917b3c8 100644
--- a/src/solver.cpp
+++ b/src/solver.cpp
@@ -701,6 +701,7 @@ int Solver::call_external_solve_and_check_results (bool preprocess_only) {
   if (!res) {
     external->reset_assumptions ();
     external->reset_constraint ();
+    external->reset_concluded ();
   }
   return res;
 }