From 2f1514a259842a4891ce803d8cac175ccb9467a9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 Oct 2022 08:38:23 -0700 Subject: [PATCH] initialization of proof_cmds Signed-off-by: Nikolaj Bjorner --- src/api/api_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp index a6b2d6605..5edc42157 100644 --- a/src/api/api_solver.cpp +++ b/src/api/api_solver.cpp @@ -938,7 +938,7 @@ extern "C" { install_proof_cmds(*solver.m_cmd_context); } - if (!solver.m_cmd_context->proof_cmds()) + if (!solver.m_cmd_context->get_proof_cmds()) init_proof_cmds(*solver.m_cmd_context); solver.m_cmd_context->get_proof_cmds()->register_on_clause(user_context, _on_clause); Z3_CATCH;