Make the interpreter pop the frame after executing a function body (for

testing or synthesis purposes)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main.ml b/src/main.ml
index 4a111a25..ac490cbb 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.Info;
+  Easy_logging.Handlers.set_level main_logger_handler EL.Debug;
   main_log#set_level EL.Info;
   cfim_of_json_logger#set_level EL.Info;
   pre_passes_log#set_level EL.Info;