diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
commit | 049a16d1b1a683487a0c17014e9f7c477820a132 (patch) | |
tree | 1e8ef2c44cbc7eb154b245f618794776587619b0 /impl/Log.hpp | |
parent | f7d846f18354e254353bc417ed1a666c59ef3ea2 (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.hpp | 2 |
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"); } |