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())