From 25e683e4e195609c8f6e728305aa9517f7d5fe61 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 28 Jul 2024 19:10:30 -0700
Subject: [PATCH] fix finalize method

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/datatype_decl_plugin.cpp | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/ast/datatype_decl_plugin.cpp b/src/ast/datatype_decl_plugin.cpp
index c39b09d5e..cc5c6eb75 100644
--- a/src/ast/datatype_decl_plugin.cpp
+++ b/src/ast/datatype_decl_plugin.cpp
@@ -220,19 +220,17 @@ namespace datatype {
     }
 
     namespace decl {
-
+        
         plugin::~plugin() {
             finalize();
         }
 
         void plugin::finalize() {
-            for (auto& kv : m_defs) {
-                dealloc(kv.m_value);
-            }
+            for (auto& kv : m_defs) 
+                dealloc(kv.m_value);            
             m_defs.reset();
             m_util = nullptr; // force deletion
-            dealloc(m_asts);
-            std::for_each(m_vectors.begin(), m_vectors.end(), delete_proc<ptr_vector<func_decl> >());
+            reset();
         }
 
         void plugin::reset() {