diff --git a/src/tactic/core/dom_simplify_tactic.h b/src/tactic/core/dom_simplify_tactic.h
index 4e42ab9b6..b5d5e1ce9 100644
--- a/src/tactic/core/dom_simplify_tactic.h
+++ b/src/tactic/core/dom_simplify_tactic.h
@@ -131,7 +131,7 @@ public:
 
     ~dom_simplify_tactic() override;
 
-    char const* dom_simplify_tactic::name() const override { return "dom_simplify"; }
+    char const* name() const override { return "dom_simplify"; }
 
     tactic * translate(ast_manager & m) override;
     void updt_params(params_ref const & p) override {}