Adding NodeManager::prepareToBeDestroyed() (Fixes: #128)

1 files changed, 9 insertions, 0 deletions

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index 16d1b4534..323f21469 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -220,6 +220,15 @@ public:
 
   /** Returns the maximum arity of the given kind. */
   static unsigned maxArity(Kind kind);
+
+  /** Signals that this expression manager will soon be destroyed.
+   * Turns off debugging assertions that may not hold as the system
+   * is being torn down.
+   *
+   * NOTE: It is *not* required to call this function before destroying
+   * the ExprManager.
+   */
+  void prepareToBeDestroyed();
 };
 
 ${mkConst_instantiations}