summaryrefslogtreecommitdiff
path: root/impl/Log.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'impl/Log.hpp')
-rw-r--r--impl/Log.hpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/impl/Log.hpp b/impl/Log.hpp
index 621c94c..3fe208d 100644
--- a/impl/Log.hpp
+++ b/impl/Log.hpp
@@ -58,6 +58,7 @@ namespace log {
Logger strategy(std::cerr.rdbuf(), "strategy");
Logger fixpoint(std::cerr.rdbuf(), "fixpoint");
Logger debug(std::cerr.rdbuf(), "debug");
+ Logger operators(std::cerr.rdbuf(), "operators");
}