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;