Speed up IdSet a bit. I think.

1 files changed, 4 insertions, 0 deletions

diff --git a/impl/main.cpp b/impl/main.cpp
index 6546444..3f47a7b 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -97,6 +97,8 @@ int main (int argc, char* argv[]) {
     cout << "Usage: " << argv[0] << " filename naive|smart naive|repeat" << endl;
     exit(1);
   }
+
+
   FixpointAlgorithm<ZBar>* algorithm = NULL;
   if (!strcmp(argv[2], "naive")) {
     algorithm = new NaiveFixpointAlgorithm<ZBar>();
@@ -107,6 +109,8 @@ int main (int argc, char* argv[]) {
   } else {
     cout << "Unknown fixpoint algorithm." << endl;
   }
+
+
   MaxStrategy<ZBar>::ImprovementOperator* naiveImprovement = new MaxStrategy<ZBar>::NaiveImprovementOperator();
   MaxStrategy<ZBar>::ImprovementOperator* improvement = NULL;
   if (!strcmp(argv[3], "repeat")) {