From 3ae10abf046d2a553eb341a56be11d0f1af104f3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Aug 2014 13:15:29 -0700
Subject: [PATCH] remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/wmax.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/opt/wmax.cpp b/src/opt/wmax.cpp
index 390c3608d..24f381dbd 100644
--- a/src/opt/wmax.cpp
+++ b/src/opt/wmax.cpp
@@ -122,8 +122,8 @@ namespace opt {
         }
     };
 
-    maxsmt_solver_base* opt::mk_wmax(context& c, 
-                                     vector<rational> const& ws, expr_ref_vector const& soft) {
+    maxsmt_solver_base* mk_wmax(context& c, 
+                                vector<rational> const& ws, expr_ref_vector const& soft) {
         return alloc(wmax, c, ws, soft);
     }