fix broken use of iterator

[satcheck.git] / planner.cc

diff --git a/planner.cc b/planner.cc
index 5ca24af5a1f2c673cfd616bbca067926737fccba..f832fb914c4ed57905ba010c2c79005196af24b8 100644 (file)
--- a/planner.cc
+++ b/planner.cc
@@ -52,10 +52,11 @@ void Planner::addChange(MCChange *change) {
 }
 
 void Planner::processChanges() {
-       ChangeIterator *cit=changeset->iterator();
-       for(;cit->hasNext();) {
-               MCChange *change=cit->next();
-               cit->remove();
+       while(!changeset->isEmpty()) {
+               MCChange *change=changeset->getFirstKey();
+               if (change==NULL)
+                       break;
+               changeset->remove(change);
                if (completedset->contains(change)) {
                        delete change;
                        continue;
@@ -73,9 +74,10 @@ void Planner::processChanges() {
                } else ASSERT(false);
                completedset->add(change);
        }
-       delete cit;
 
-       for(cit=completedset->iterator();cit->hasNext();) {
+       ChangeIterator *cit=completedset->iterator();
+
+       for(;cit->hasNext();) {
                MCChange *change=cit->next();
                cit->remove();
                delete change;