mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
native context uses legacy mk_context
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
313b87f3c6
commit
706d7ea893
|
@ -69,7 +69,7 @@ namespace Microsoft.Z3
|
|||
IntPtr cfg = Native.Z3_mk_config();
|
||||
foreach (KeyValuePair<string, string> kv in settings)
|
||||
Native.Z3_set_param_value(cfg, kv.Key, kv.Value);
|
||||
m_ctx = Native.Z3_mk_context_rc(cfg);
|
||||
m_ctx = Native.Z3_mk_context(cfg);
|
||||
Native.Z3_del_config(cfg);
|
||||
InitContext();
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue