From 11db7784425516f77d1a378cea2a3c5bb5589a63 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 2 Jan 2018 23:12:28 +0700
Subject: [PATCH] Remove ignored const qualifiers.

The `const` qualifier on a scalar value is ignored in return types.
---
 src/util/lp/numeric_pair.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/util/lp/numeric_pair.h b/src/util/lp/numeric_pair.h
index 4ebe63613..a8a743a71 100644
--- a/src/util/lp/numeric_pair.h
+++ b/src/util/lp/numeric_pair.h
@@ -38,10 +38,10 @@ template <typename T> class numeric_traits {};
 template <>  class numeric_traits<unsigned> {
 public:
     static bool precise() { return true; }
-    static unsigned const zero() { return 0; }
-    static unsigned const one() { return 1; }
+    static unsigned zero() { return 0; }
+    static unsigned one() { return 1; }
     static bool is_zero(unsigned v) { return v == 0; }
-    static double const get_double(unsigned const & d) { return d; }
+    static double get_double(unsigned const & d) { return d; }
 };
 
 template <>  class numeric_traits<double> {
@@ -66,7 +66,7 @@ template <>  class numeric_traits<double> {
         static rational const & zero() { return rational::zero(); }
         static rational const & one() { return rational::one(); }
         static bool is_zero(const rational & v) { return v.is_zero(); }
-        static double const  get_double(const rational  & d) { return d.get_double();}
+        static double get_double(const rational  & d) { return d.get_double();}
         static rational log(rational const& r) { UNREACHABLE(); return r; }
         static rational from_string(std::string const & str) { return rational(str.c_str()); }
         static bool is_pos(const rational & d) {return d.is_pos();}