From f636a481d3da804c93422debc8e18395bdf08e45 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 8 Mar 2020 12:06:16 -0700
Subject: [PATCH] fixes in bound setting in cube, and in lar_solver

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

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index cd76023bd..ecf34e18a 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -1784,6 +1784,8 @@ void lar_solver::activate(constraint_index ci) {
 mpq lar_solver::adjust_bound_for_int(lpvar j, lconstraint_kind& k, const mpq& bound) {
     if (!column_is_int(j))
         return bound;
+    if (bound.is_int())
+        return bound;
     switch (k) {
     case LT:
         k = LE;