diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2010-02-02 22:40:55 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-02-02 22:40:55 +0000 |
| commit | 644b09baf99407e122bc8424ddb8be4b303d7166 (patch) | |
| tree | 822ebe8727d492cbc26b7ff23aeb0069bd046cb9 /src/context/context.cpp | |
| parent | 6d65fe9fbd92f806651d9af13b1924067885446f (diff) | |
Fixed bug in context code
Diffstat (limited to 'src/context/context.cpp')
| -rw-r--r-- | src/context/context.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/context/context.cpp b/src/context/context.cpp index 476f6d04b..a00364fe6 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -33,7 +33,7 @@ Context::Context() : d_pCNOpre(NULL), d_pCNOpost(NULL) { Context::~Context() { // Delete all Scopes - popto(-1); + popto(0); // Delete the memory manager delete d_pCMM; @@ -99,7 +99,7 @@ void Context::pop() { void Context::popto(int toLevel) { // Pop scopes until there are none left or toLevel is reached - if (toLevel < -1) toLevel = -1; + if (toLevel < 0) toLevel = 0; while (toLevel < getLevel()) pop(); } |