From 706d7ea8936074cad3b49fb15da50a5deb8f386c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 15 Mar 2022 16:00:56 -0700
Subject: [PATCH] native context uses legacy mk_context

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/NativeContext.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/NativeContext.cs b/src/api/dotnet/NativeContext.cs
index f8513a7e6..9f285ec84 100644
--- a/src/api/dotnet/NativeContext.cs
+++ b/src/api/dotnet/NativeContext.cs
@@ -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();
             }