one more reset concluded

arminbiere · Jan 31, 2024 · 005ebf4 · 005ebf4
1 parent c077f39
commit 005ebf4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;
 }