From 36f510553a91cd07fe24d531d52f96adc0d7b5aa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Dec 2021 14:20:47 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/tactic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/tactic.h b/src/tactic/tactic.h
index 7f7f293af..4c4b9358d 100644
--- a/src/tactic/tactic.h
+++ b/src/tactic/tactic.h
@@ -117,7 +117,7 @@ public:
     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();