From e00d7e6486739221f4d5adea1583743d3e23acfd Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 15 Jun 2012 14:13:04 +1000
Subject: Fix up the smart fixpoint iteration - make it actually work!

---
 impl/main.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'impl/main.cpp')

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;
-- 
cgit v1.2.3