call dispose on sorts #5900

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 16, 2022 · cd5e114 · cd5e114
1 parent cb9dcb7
commit cd5e114
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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;