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();
     }