na

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Dec 7, 2021 · 36f5105 · 36f5105
1 parent d74ff29
commit 36f5105
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tactic/tactic.h b/src/tactic/tactic.h
@@ -117,7 +117,7 @@ class skip_tactic : public tactic {
     void operator()(goal_ref const & in, goal_ref_buffer& result) override;
     void cleanup() override {}
     tactic * translate(ast_manager & m) override { return this; } 
-    char const* name() const { return "skip"; }
+    char const* name() const override { return "skip"; }
 };
 
 tactic * mk_skip_tactic();