From 03bd010b0523c72883c83d033fe67e03a89555f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Aug 2018 21:19:06 -0700
Subject: [PATCH] na

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

diff --git a/src/smt/theory_jobscheduler.cpp b/src/smt/theory_jobscheduler.cpp
index ce1b2a82b..0e8e828a0 100644
--- a/src/smt/theory_jobscheduler.cpp
+++ b/src/smt/theory_jobscheduler.cpp
@@ -839,7 +839,7 @@ namespace smt {
             }
             else if (ra.m_end < t) {
                 lo = mid + 1;
-                mid += (hi - mid + 1) / 2;
+                mid += (hi - mid) / 2;
             }
             else {
                 break;