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;