From 04906bd957ae5076229509b55a928e8033889883 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 7 Dec 2021 14:21:46 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/tactic/core/dom_simplify_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 {}