1 files changed, 0 insertions, 3 deletions
diff --git a/impl/Log.hpp b/impl/Log.hpp
index 3fe208d..b595105 100644
--- a/impl/Log.hpp
+++ b/impl/Log.hpp
@@ -53,12 +53,9 @@ namespace log {
     LoggerBuffer _buffer;
   };
 
-  Logger info(std::cout.rdbuf(), "info");
-  Logger trace(std::cerr.rdbuf(), "trace");
   Logger strategy(std::cerr.rdbuf(), "strategy");
   Logger fixpoint(std::cerr.rdbuf(), "fixpoint");
   Logger debug(std::cerr.rdbuf(), "debug");
-  Logger operators(std::cerr.rdbuf(), "operators");
 
 }