summaryrefslogtreecommitdiff
path: root/impl/Log.hpp
diff options
context:
space:
mode:
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");
}