From 9e0d0b59f44d781d2cbbff4f83d2ab71b7dc0121 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 29 Jun 2012 13:00:59 +1000
Subject: Speed up IdSet a bit. I think.

---
 impl/main.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'impl/main.cpp')

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")) {
-- 
cgit v1.2.3