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

(limited to 'impl/main.cpp')

diff --git a/impl/main.cpp b/impl/main.cpp
index e5ca37f..b1d6984 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -7,6 +7,7 @@
 #include "Operator.hpp"
 #include "EquationSystem.hpp"
 #include "MaxStrategy.hpp"
+#include "VariableAssignment.hpp"
 
 extern "C" {
 #include "parser/EquationSystemParser.h"
@@ -96,12 +97,9 @@ void treeToSystem(pANTLR3_BASE_TREE node, EquationSystem<T>& system) {
 typedef Complete<int> ZBar;
 int main (int argc, char* argv[]) {
   map<string,log::Logger*> loggers;
-  loggers["info"] = &log::info;
-  loggers["trace"] = &log::trace;
   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