diff --git a/src/sat/tactic/sat2goal.h b/src/sat/tactic/sat2goal.h
index 8c0b1bf83..97a85ff65 100644
--- a/src/sat/tactic/sat2goal.h
+++ b/src/sat/tactic/sat2goal.h
@@ -53,6 +53,7 @@ public:
         mc(ast_manager& m);
         // flush model converter from SAT solver to this structure.
         void flush_smc(sat::solver& s, atom2bool_var const& map);
+        using model_converter::operator();
         void operator()(sat::model& m);
         void operator()(model_ref& md) override;
         void operator()(expr_ref& fml) override;