mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
aefd336c18
commit
eb2ee34dfe
|
@ -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);
|
||||
|
|
Loading…
Reference in a new issue