fix typo

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jul 16, 2022 · eb2ee34 · eb2ee34
1 parent aefd336
commit eb2ee34
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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);