From a1517251dd05cf71777708e5f1574cb57aef93d2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 16 Mar 2022 07:28:05 -0700 Subject: [PATCH] call dispose on sorts #5900, missing charSort Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/Context.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs index 056a361fe..4b865c0ba 100644 --- a/src/api/dotnet/Context.cs +++ b/src/api/dotnet/Context.cs @@ -4931,10 +4931,12 @@ namespace Microsoft.Z3 if (m_intSort != null) m_intSort.Dispose(); if (m_realSort != null) m_realSort.Dispose(); if (m_stringSort != null) m_stringSort.Dispose(); + if (m_charSort != null) m_charSort.Dispose(); m_boolSort = null; m_intSort = null; m_realSort = null; m_stringSort = null; + m_charSort = null; if (refCount == 0 && m_ctx != IntPtr.Zero) { m_n_err_handler = null;