Fixed bug in context code

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 476f6d04bfc6d4c6236479adc93bd3aec0d16b10..a00364fe68eb3fe864261eca5588523986cd997d 100644 (file)
--- 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();
 }