From b621c9fa1c53151529d030b33820b4f35114aa10 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 15 Sep 2023 17:42:18 -0700
Subject: [PATCH] remove an extrac check in bound_is_interesting

---
 src/smt/theory_lra.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index d88d54a69..1a022e087 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -2239,9 +2239,6 @@ public:
         if (v == null_theory_var) 
             return false;
 
-        if (m_unassigned_bounds[v] == 0) 
-            return false;
-
         if (should_refine_bounds()) 
             return true;