diff options
Diffstat (limited to 'compiler/Main.ml')
| -rw-r--r-- | compiler/Main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Main.ml b/compiler/Main.ml index 94e50a08..0daf454d 100644 --- a/compiler/Main.ml +++ b/compiler/Main.ml @@ -38,6 +38,7 @@ let _ = symbolic_to_pure_log#set_level EL.Info; pure_micro_passes_log#set_level EL.Info; extract_log#set_level EL.Info; + builtin_log#set_level EL.Info; translate_log#set_level EL.Info; scc_log#set_level EL.Info; reorder_decls_log#set_level EL.Info |