diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
| commit | 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb (patch) | |
| tree | 02a4f4136e50af3865df5acefc9174f73004c10a /impl/Log.hpp | |
| parent | 35d53c78a4afd739d1246db486f2703e44590eda (diff) | |
Delete a lot of tex stuff, better debug info
Some other stuff, too, I think. Oh well. No biggie!
Diffstat (limited to 'impl/Log.hpp')
| -rw-r--r-- | impl/Log.hpp | 3 |
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"); } |