From e2a247a64a7e39775d782f58ffce06a36bf89d79 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 31 Mar 2020 13:48:44 -0700
Subject: [PATCH] fix #3601

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/optsmt.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/opt/optsmt.cpp b/src/opt/optsmt.cpp
index 3b6bb261d..3e2892f69 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -162,7 +162,7 @@ namespace opt {
                 for (unsigned i = 0; i < m_lower.size(); ++i) {
                     all_tight &= m_lower[i] == m_upper[i];
                 }
-                if (all_tight)
+                if (all_tight || delta_index + 1 == m_lower.size())
                     break;
                 delta_per_step = 1;
                 steps = 0;