diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp
index 7ee280a49..dc4bd3822 100644
--- a/src/util/lp/lar_solver.cpp
+++ b/src/util/lp/lar_solver.cpp
@@ -2357,8 +2357,6 @@ void lar_solver::set_cut_strategy(unsigned cut_frequency) {
         settings().set_hnf_cut_period(100000000);
     } 
 }
-
-
 } // namespace lp
 
 
diff --git a/src/util/lp/lar_solver.h b/src/util/lp/lar_solver.h
index 0963aac4d..3d3ef909c 100644
--- a/src/util/lp/lar_solver.h
+++ b/src/util/lp/lar_solver.h
@@ -444,7 +444,6 @@ public:
         const vector<std::pair<mpq, unsigned>> & inf_row,
         int inf_sign) const;
 
-
     void get_model(std::unordered_map<var_index, mpq> & variable_values) const;
 
     void get_model_do_not_care_about_diff_vars(std::unordered_map<var_index, mpq> & variable_values) const;