diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-08-07 17:56:43 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-08-07 17:56:43 +1000 |
| commit | 59fb7d23578c4da14f9c14cc413090b1af13328c (patch) | |
| tree | 42d187c4b182a025578377f77d1c5e369751b5b3 /impl/Log.hpp | |
| parent | c26f38114fedde81effb938ffbedfe922d77a322 (diff) | |
Merge complete! Get onto the right branch.
Diffstat (limited to 'impl/Log.hpp')
| -rw-r--r-- | impl/Log.hpp | 1 |
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"); } |