Fix up the smart fixpoint iteration - make it actually work!

1 files changed, 3 insertions, 3 deletions

diff --git a/impl/main.cpp b/impl/main.cpp
index b03a4f2..40cae42 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -125,12 +125,12 @@ int main (int argc, char* argv[]) {
   do {
     if (prev) delete prev;
     prev = result;
-    strategy.improve(*prev);
-    for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
+    /*for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
       Variable<ZBar>& var = system.variable(i);
       cout << var.name() << " = " << (*result)[var] << ", ";
     }
-    cout << endl;
+    cout << endl;*/
+    strategy.improve(*prev);
     result = algorithm->maxFixpoint(strategy);
   } while(!system.equalAssignments(*prev, *result));
   if (prev) delete prev;