remove assertion in TNode destructor and ensure all TNode methods check rc > 0 (resolves bug #200); on NodeManager/ExprManager side, no more prepareToBeDestroyed() / inDestruction

1 files changed, 0 insertions, 10 deletions

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index ab7aeace1..aaaaf0026 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -240,16 +240,6 @@ 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}