From e28b644a67d44cc39c5ec33456957226c9a9ce1c Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 20 Dec 2023 06:53:59 -1000
Subject: [PATCH] remove an empty line

---
 src/math/lp/int_solver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index 5dde06690..cfd94443b 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -950,7 +950,6 @@ namespace lp {
 
             if (!feas)
                 return lia_move::conflict;
-            
         }
 
         if (!_check_feasible())