From 868a6b3594f75fd1e0d7f79b418043878df8d1ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 26 Mar 2020 09:43:44 -0700
Subject: [PATCH] fix #3521

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 25022d78e..2163b8eea 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -107,7 +107,7 @@ namespace opt {
         unsigned steps = 0;
         unsigned step_incs = 0;
         rational delta_per_step(1);
-        unsigned num_scopes = 1;
+        unsigned num_scopes = 0;
         unsigned delta_index = 0;    // index of objective to speed up.
 
         while (!m.canceled()) {