diff options
Diffstat (limited to 'compiler/Driver.ml')
| -rw-r--r-- | compiler/Driver.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index 3d2e84ad..dfe4e908 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -24,6 +24,9 @@ let _ = pre_passes_log#set_level EL.Info; interpreter_log#set_level EL.Info; statements_log#set_level EL.Info; + loops_match_ctxs_log#set_level EL.Info; + loops_join_ctxs_log#set_level EL.Info; + loops_fixed_point_log#set_level EL.Info; loops_log#set_level EL.Info; paths_log#set_level EL.Info; expressions_log#set_level EL.Info; |