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/main.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'impl/main.cpp')

diff --git a/impl/main.cpp b/impl/main.cpp
index 6a786bd..e5ca37f 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -101,6 +101,7 @@ int main (int argc, char* argv[]) {
   loggers["strategy"] = &log::strategy;
   loggers["fixpoint"] = &log::fixpoint;
   loggers["debug"] = &log::debug;
+  loggers["operators"] = &log::operators;
 
   set<string> variables;
   if (argc > 2) {
-- 
cgit v1.2.3