mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

call dispose on sorts #5900, missing charSort

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-03-16 07:28:05 -07:00
parent cd5e114ed3
commit a1517251dd
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/dotnet/Context.cs
View file

@ -4931,10 +4931,12 @@ namespace Microsoft.Z3
if (m_intSort != null) m_intSort.Dispose(); if (m_intSort != null) m_intSort.Dispose();
if (m_realSort != null) m_realSort.Dispose(); if (m_realSort != null) m_realSort.Dispose();
if (m_stringSort != null) m_stringSort.Dispose(); if (m_stringSort != null) m_stringSort.Dispose();
if (m_charSort != null) m_charSort.Dispose();
m_boolSort = null; m_boolSort = null;
m_intSort = null; m_intSort = null;
m_realSort = null; m_realSort = null;
m_stringSort = null; m_stringSort = null;
m_charSort = null;
if (refCount == 0 && m_ctx != IntPtr.Zero) if (refCount == 0 && m_ctx != IntPtr.Zero)
{ {
m_n_err_handler = null; m_n_err_handler = null;