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/main | |
| 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/main')
| -rw-r--r-- | src/main/main.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index a6fe10888..950e991c6 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -209,9 +209,6 @@ int runCvc4(int argc, char* argv[]) { exit(returnValue); #endif - // Get ready for tear-down - exprMgr.prepareToBeDestroyed(); - // Remove the parser delete parser; |