From f6291abccbb7aafef18f40c4752a65b26bfdc3b5 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 13 Aug 2018 12:32:12 +0800
Subject: [PATCH] change the type of lar_solver:get_model to a template

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/lar_solver.cpp | 2 --
 src/util/lp/lar_solver.h   | 1 -
 2 files changed, 3 deletions(-)

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;