diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node_manager.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 6f8934645..b32c93313 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -171,6 +171,9 @@ NodeManager::~NodeManager() { NodeManagerScope nms(this); + // Destroy skolem manager before cleaning up attributes and zombies + d_skManager = nullptr; + { ScopedBool dontGC(d_inReclaimZombies); // hopefully by this point all SmtEngines have been deleted @@ -233,7 +236,6 @@ NodeManager::~NodeManager() { // defensive coding, in case destruction-order issues pop up (they often do) delete d_resourceManager; d_resourceManager = NULL; - d_skManager = nullptr; delete d_statisticsRegistry; d_statisticsRegistry = NULL; delete d_registrations; |