From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Wed, 5 Sep 2012 10:25:19 +1000
Subject: Delete a lot of tex stuff, better debug info

Some other stuff, too, I think. Oh well. No biggie!
---
 impl/Log.hpp | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'impl/Log.hpp')

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");
 
 }
 
-- 
cgit v1.2.3