Improve pretty-printing of environments by filtering and grouping values

which don't need to be printed

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main.ml b/src/main.ml
index ac490cbb..4a111a25 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -117,7 +117,7 @@ let () =
 
   (* Set up the logging - for now we use default values - TODO: use the
    * command-line arguments *)
-  Easy_logging.Handlers.set_level main_logger_handler EL.Debug;
+  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;