diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-08-07 17:56:43 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-08-07 17:56:43 +1000 |
| commit | 59fb7d23578c4da14f9c14cc413090b1af13328c (patch) | |
| tree | 42d187c4b182a025578377f77d1c5e369751b5b3 /impl/main.cpp | |
| parent | c26f38114fedde81effb938ffbedfe922d77a322 (diff) | |
Merge complete! Get onto the right branch.
Diffstat (limited to 'impl/main.cpp')
| -rw-r--r-- | impl/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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) { |