diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index 99a3fc851..78c00fd65 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -16,6 +16,7 @@ namespace lp {
     };
     
     struct imp {
+
         lar_solver &lra;
         var_register m_var_register;
         svector<column> m_columns;