From 30d35488d8c23dfedab221e420f3210d017d4052 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 14 Jan 2020 18:56:15 -0800
Subject: [PATCH] get_rid or inf eps

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lar_solver.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index 45a33f439..7ff8bc487 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -1329,6 +1329,15 @@ void lar_solver::get_model_do_not_care_about_diff_vars(std::unordered_map<var_in
 }
 
 void lar_solver::get_rid_of_inf_eps() {
+    bool y_is_zero = true;
+    for (unsigned j = 0; j < number_of_vars(); j++) {
+        if (!m_mpq_lar_core_solver.m_r_x[j].y.is_zero()) {
+            y_is_zero = false;
+            break;
+        }
+    }
+    if (y_is_zero)
+        return;
     mpq delta = m_mpq_lar_core_solver.find_delta_for_strict_bounds(mpq(1));
     for (unsigned j = 0; j < number_of_vars(); j++) {
         auto & r = m_mpq_lar_core_solver.m_r_x[j];