diff --git a/src/util/lp/lar_core_solver.h b/src/util/lp/lar_core_solver.h
index 904550339..52290c69a 100644
--- a/src/util/lp/lar_core_solver.h
+++ b/src/util/lp/lar_core_solver.h
@@ -817,7 +817,7 @@ public:
     }
 
     
-    const bool column_is_bounded(unsigned j) const {
+    bool column_is_bounded(unsigned j) const {
         switch(m_column_types()[j]) {
         case column_type::fixed:
         case column_type::boxed:
diff --git a/src/util/lp/lp_core_solver_base.cpp b/src/util/lp/lp_core_solver_base.cpp
index 00c1322c2..e71f65d5d 100644
--- a/src/util/lp/lp_core_solver_base.cpp
+++ b/src/util/lp/lp_core_solver_base.cpp
@@ -84,6 +84,7 @@ template lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::lp_core_s
                                                                                                    const vector<lp::numeric_pair<lp::mpq> >&);
 template bool lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::print_statistics_with_cost_and_check_that_the_time_is_over(lp::numeric_pair<lp::mpq>, std::ostream&);
 template void lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::snap_xN_to_bounds_and_fill_xB();
+template void lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::solve_Ax_eq_b();
 template void lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::solve_Bd(unsigned int);
 template bool lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::update_basis_and_x(int, int, lp::numeric_pair<lp::mpq> const&);
 template void lp::lp_core_solver_base<lp::mpq, lp::numeric_pair<lp::mpq> >::update_x(unsigned int, const lp::numeric_pair<lp::mpq>&);
diff --git a/src/util/lp/numeric_pair.h b/src/util/lp/numeric_pair.h
index e98d76cbb..ed740d645 100644
--- a/src/util/lp/numeric_pair.h
+++ b/src/util/lp/numeric_pair.h
@@ -57,10 +57,10 @@ public:
 template <>  class numeric_traits<int> {
 public:
     static bool precise() { return true; }
-    static int const zero() { return 0; }
-    static int const one() { return 1; }
+    static int zero() { return 0; }
+    static int one() { return 1; }
     static bool is_zero(int v) { return v == 0; }
-    static double const get_double(int const & d) { return d; }
+    static double get_double(int const & d) { return d; }
     static bool is_int(int) {return true;}
     static bool is_pos(int j) {return j > 0;}
     static bool is_neg(int j) {return j < 0;}