From 59fb7d23578c4da14f9c14cc413090b1af13328c Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Tue, 7 Aug 2012 17:56:43 +1000
Subject: Merge complete! Get onto the right branch.

---
 impl/Log.hpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'impl/Log.hpp')

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