summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2022-02-04 11:48:55 +0100
committerSon Ho2022-02-04 11:48:55 +0100
commit1f4e6c1dbf32bbb58288b1b96ede898f36284977 (patch)
tree8c7512ddf2c82047c20a0dd787c90296e5c3cf0e /src
parentbc769de61077adacad9a8b6027cad57195ba1ba9 (diff)
Make minor modifications with regards to logging
Diffstat (limited to 'src')
-rw-r--r--src/main.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.ml b/src/main.ml
index 10b592e4..1c2b0fe8 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -55,6 +55,7 @@ let () =
invariants_log#set_level EL.Warning;
symbolic_to_pure_log#set_level EL.Debug;
pure_micro_passes_log#set_level EL.Debug;
+ pure_to_extract_log#set_level EL.Debug;
translate_log#set_level EL.Debug;
(* Load the module *)
let json = Yojson.Basic.from_file !filename in