From fcfaedd9ec9d06ab2a4f8fd0021dbed945944ba1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 May 2017 07:39:56 -0700
Subject: [PATCH] fix build issues part 2

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/conversion_helper.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/lp/conversion_helper.h b/src/util/lp/conversion_helper.h
index 28b1a7838..bff2ad563 100644
--- a/src/util/lp/conversion_helper.h
+++ b/src/util/lp/conversion_helper.h
@@ -18,7 +18,7 @@ struct conversion_helper {
 
 template<>
 struct conversion_helper <double> {
-    static double conversion_helper get_upper_bound(const column_info<mpq> & ci) {
+    static double get_upper_bound(const column_info<mpq> & ci) {
         if (!ci.upper_bound_is_strict())
             return ci.get_upper_bound().get_double();
         double eps = 0.00001;