From 31937f0b91ade9180a2ac582e7236372fc87b3a4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 7 Mar 2020 13:57:08 -0800
Subject: [PATCH] round the bound for columns and terms when it can be deduced
 that they are integral

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

diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h
index 2cac79708..a123184e3 100644
--- a/src/math/lp/lar_solver.h
+++ b/src/math/lp/lar_solver.h
@@ -174,7 +174,6 @@ public:
 
     mpq adjust_bound_for_int(lpvar j, lconstraint_kind&, const mpq&);
 
-
     // terms
     bool all_vars_are_registered(const vector<std::pair<mpq, var_index>> & coeffs);