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