diff options
| author | Son Ho | 2023-09-13 23:39:13 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-13 23:39:13 +0200 |
| commit | 60aa9ff5b31e47ecc2ac2dff55ee06582af62806 (patch) | |
| tree | 0e7faf6e77deae5ae486bcdee10160af54af57e2 /compiler/Logging.ml | |
| parent | d556b2439ad858fbbf612f433d25363a8f4a7c83 (diff) | |
Fix some issues
Diffstat (limited to '')
| -rw-r--r-- | compiler/Logging.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Logging.ml b/compiler/Logging.ml index d0f5b0c5..59abbfc7 100644 --- a/compiler/Logging.ml +++ b/compiler/Logging.ml @@ -9,6 +9,9 @@ let pre_passes_log = L.get_logger "MainLogger.PrePasses" (** Logger for Translate *) let translate_log = L.get_logger "MainLogger.Translate" +(** Logger for Contexts *) +let contexts_log = L.get_logger "MainLogger.Contexts" + (** Logger for PureUtils *) let pure_utils_log = L.get_logger "MainLogger.PureUtils" |