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/main.cpp | |
| 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/main.cpp')
| -rw-r--r-- | impl/main.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
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) { |