diff options
Diffstat (limited to 'compiler/Driver.ml')
| -rw-r--r-- | compiler/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index bd9396c0..d19aca93 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -138,6 +138,7 @@ let () = paths_log#set_level EL.Info; expressions_log#set_level EL.Info; expansion_log#set_level EL.Info; + projectors_log#set_level EL.Info; borrows_log#set_level EL.Info; invariants_log#set_level EL.Info; pure_utils_log#set_level EL.Info; |