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/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;}