From d88384fd5137a702a12605ecddfc65c2c8cd37fd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 16 Oct 2022 15:03:46 -0700 Subject: [PATCH] fix compiler warning Signed-off-by: Nikolaj Bjorner --- src/cmd_context/extra_cmds/proof_cmds.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/extra_cmds/proof_cmds.cpp b/src/cmd_context/extra_cmds/proof_cmds.cpp index c3269253f..e544d353b 100644 --- a/src/cmd_context/extra_cmds/proof_cmds.cpp +++ b/src/cmd_context/extra_cmds/proof_cmds.cpp @@ -277,7 +277,7 @@ public: m_proof_hint.reset(); } - void updt_params(params_ref const& p) { + void updt_params(params_ref const& p) override { solver_params sp(p); m_check = sp.proof_check(); m_save = sp.proof_save();