diff options
Diffstat (limited to 'src/Logging.ml')
| -rw-r--r-- | src/Logging.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Logging.ml b/src/Logging.ml index 5605772d..f4fa9309 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -9,6 +9,9 @@ let main_log = L.get_logger "MainLogger" (** Below, we create subgloggers for various submodules, so that we can precisely toggle logging on/off, depending on which information we need *) +(** Logger for PrePasses *) +let pre_passes_log = L.get_logger "MainLogger.PrePasses" + (** Logger for Translate *) let translate_log = L.get_logger "MainLogger.Translate" |