diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-09-21 22:40:50 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-09-21 22:40:50 +0000 |
commit | 818d7fc74583965e87c35360c2fed890844efbba (patch) | |
tree | 07d282fbc4f5e1641f4faa82f47bb9e5b1cc25c6 /src/expr/expr_manager_template.h | |
parent | 2b2d9092eea1f50b468e459029dcfdd88e2232da (diff) |
remove assertion in TNode destructor and ensure all TNode methods check rc > 0 (resolves bug #200); on NodeManager/ExprManager side, no more prepareToBeDestroyed() / inDestruction
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 10 |
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} |