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.cpp | |
| 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.cpp')
| -rw-r--r-- | src/expr/expr_manager_template.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index 1eabc9f8a..04ebfa94f 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -398,10 +398,6 @@ unsigned ExprManager::maxArity(Kind kind) { return metakind::getUpperBoundForKind(kind); } -void ExprManager::prepareToBeDestroyed() { - d_nodeManager->prepareToBeDestroyed(); -} - NodeManager* ExprManager::getNodeManager() const { return d_nodeManager; } |