From 2dcbf192cce28fc43c17a319f230eb4a15d05897 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Aug 2014 13:14:20 -0700
Subject: [PATCH] remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/maxsls.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/opt/maxsls.cpp b/src/opt/maxsls.cpp
index c679a6929..1c6e745a4 100644
--- a/src/opt/maxsls.cpp
+++ b/src/opt/maxsls.cpp
@@ -53,7 +53,7 @@ namespace opt {
 
     };
 
-    maxsmt_solver_base* opt::mk_sls(
+    maxsmt_solver_base* mk_sls(
         context& c, weights_t& ws, expr_ref_vector const& soft) {
         return alloc(sls, c, ws, soft);
     }