From cd5e114ed3bfb32e3ed20861a6593a5d45948cc3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 16 Mar 2022 07:24:33 -0700 Subject: [PATCH] call dispose on sorts #5900 Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/Context.cs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs index 3432c802894..056a361fec5 100644 --- a/src/api/dotnet/Context.cs +++ b/src/api/dotnet/Context.cs @@ -4927,6 +4927,10 @@ public void Dispose() Fixedpoint_DRQ.Clear(this); Optimize_DRQ.Clear(this); + if (m_boolSort != null) m_boolSort.Dispose(); + if (m_intSort != null) m_intSort.Dispose(); + if (m_realSort != null) m_realSort.Dispose(); + if (m_stringSort != null) m_stringSort.Dispose(); m_boolSort = null; m_intSort = null; m_realSort = null;