diff options
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) { |