diff options
Diffstat (limited to '')
| -rw-r--r-- | src/main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.ml b/src/main.ml index 7bec093d..cf854577 100644 --- a/src/main.ml +++ b/src/main.ml @@ -115,6 +115,7 @@ let () = * command-line arguments *) Easy_logging.Handlers.set_level main_logger_handler EL.Info; main_log#set_level EL.Info; + cfim_of_json_logger#set_level EL.Info; pre_passes_log#set_level EL.Info; interpreter_log#set_level EL.Info; statements_log#set_level EL.Info; |