summaryrefslogtreecommitdiff
path: root/impl/Log.hpp
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-07-09 13:10:32 +1000
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-07-09 13:10:32 +1000
commit049a16d1b1a683487a0c17014e9f7c477820a132 (patch)
tree1e8ef2c44cbc7eb154b245f618794776587619b0 /impl/Log.hpp
parentf7d846f18354e254353bc417ed1a666c59ef3ea2 (diff)
Fixed up the newer strategy iteration stuff
Trivial 100000 var case in 15s on my Uni machine.
Diffstat (limited to 'impl/Log.hpp')
-rw-r--r--impl/Log.hpp2
1 files changed, 2 insertions, 0 deletions
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");
}