diff --git a/src/opt/pbmax.cpp b/src/opt/pbmax.cpp
index b975543e3..a30fe3acb 100644
--- a/src/opt/pbmax.cpp
+++ b/src/opt/pbmax.cpp
@@ -87,7 +87,7 @@ namespace opt {
         }
     };
 
-    maxsmt_solver_base* opt::mk_pbmax(
+    maxsmt_solver_base* mk_pbmax(
         context & c, weights_t& ws, expr_ref_vector const& soft) {
         return alloc(pbmax, c, ws, soft);
     }