From eb2ee34dfef58ad3564c0e0d36395957f641e21b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 16 Jul 2022 16:58:57 -0700 Subject: [PATCH] fix typo Signed-off-by: Nikolaj Bjorner --- src/api/api_context.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp index 896d0ec85..aa96998b3 100644 --- a/src/api/api_context.cpp +++ b/src/api/api_context.cpp @@ -400,10 +400,9 @@ extern "C" { void Z3_API Z3_enable_concurrent_dec_ref(Z3_context c) { Z3_TRY; LOG_Z3_enable_concurrent_dec_ref(c); - mk_c(c)->enableset_concurrent_dec_ref(); + mk_c(c)->enable_concurrent_dec_ref(); Z3_CATCH; - } - + } void Z3_API Z3_toggle_warning_messages(bool enabled) { LOG_Z3_toggle_warning_messages(enabled);