From 3bbf1474f30cb6e162d81d9c6b85dc63c3c453cf Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 27 Apr 2020 11:33:07 -0700
Subject: [PATCH] na

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/int_branch.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/math/lp/int_branch.cpp b/src/math/lp/int_branch.cpp
index c7b84f9d5..28377dcee 100644
--- a/src/math/lp/int_branch.cpp
+++ b/src/math/lp/int_branch.cpp
@@ -99,11 +99,10 @@ int int_branch::find_inf_int_base_column() {
                 }
             }
         } else if (boxed &&
-                   (new_range = lcs.m_r_upper_bounds()[j].x - lcs.m_r_lower_bounds()[j].x)
+                   (range = lcs.m_r_upper_bounds()[j].x - lcs.m_r_lower_bounds()[j].x)
                    <= small_range_thresold) {
             small = true;
             result = j;
-            range = new_range;
             n = 1;
         } else if (result == -1) {
             result = j;