From 6ef65735987f2ca6f65f7462025219feb11de011 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 21 Dec 2021 11:49:33 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/solver/smtmus.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solver/smtmus.cpp b/src/solver/smtmus.cpp
index 25756d10a..12ba3b963 100644
--- a/src/solver/smtmus.cpp
+++ b/src/solver/smtmus.cpp
@@ -342,7 +342,8 @@ struct smtmus::imp {
                     rotate(shrunk, crits, i, *m_model, true);                                
                 break;
             case l_false:
-                --max_cores;
+                if (max_cores > 0)
+                    --max_cores;
                 if (p_use_reset && (count_ones(shrunk) < 0.7 * prev_size)) {
                     reset_solver(shrunk);
                     prev_size = count_ones(shrunk);