remove an empty line

Z3Prover · Dec 20, 2023 · e28b644 · e28b644
1 parent d636561
commit e28b644
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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())