From 049a16d1b1a683487a0c17014e9f7c477820a132 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 9 Jul 2012 13:10:32 +1000
Subject: Fixed up the newer strategy iteration stuff

Trivial 100000 var case in 15s on my Uni machine.
---
 impl/Log.hpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'impl/Log.hpp')

diff --git a/impl/Log.hpp b/impl/Log.hpp
index a920906..1e340c7 100644
--- a/impl/Log.hpp
+++ b/impl/Log.hpp
@@ -40,8 +40,10 @@ namespace log {
     return logger;
   }
 
+  Logger info(std::cout, "info");
   Logger trace(std::cerr, "trace");
   Logger strategy(std::cerr, "strategy");
+  Logger fixpoint(std::cerr, "fixpoint");
   Logger debug(std::cerr, "debug");
 
 }
-- 
cgit v1.2.3