From 6a61efbf99a9b15b95d524f9fe8555c1350c53c1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 5 Sep 2022 13:35:53 -0700 Subject: [PATCH] add missing override Signed-off-by: Nikolaj Bjorner --- src/cmd_context/extra_cmds/proof_cmds.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cmd_context/extra_cmds/proof_cmds.cpp b/src/cmd_context/extra_cmds/proof_cmds.cpp index fe75acc84..505b0a5ed 100644 --- a/src/cmd_context/extra_cmds/proof_cmds.cpp +++ b/src/cmd_context/extra_cmds/proof_cmds.cpp @@ -198,13 +198,13 @@ public: m_proof_hint.reset(); } - void end_learned() { + void end_learned() override { m_checker.check(m_lits, m_proof_hint); m_lits.reset(); m_proof_hint.reset(); } - void end_deleted() { + void end_deleted() override { m_lits.reset(); m_proof_hint.reset(); }