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;