diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index d743c5342d..8be0cca91b 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -3025,4 +3025,3 @@ namespace lp {
         }
 } // namespace lp
 
-