diff options
author | Son Ho | 2022-11-07 09:26:11 +0100 |
---|---|---|
committer | Son HO | 2022-11-07 10:36:13 +0100 |
commit | d41ab33a4240f893049a84f7853808ae2630a5ae (patch) | |
tree | 3c578d165f493de9719f4bec6023eab9332387bb /compiler/Logging.ml | |
parent | c2a7fe7886c2dc506ccfb88f4ded8fffdd80a459 (diff) |
Add some .mli files
Diffstat (limited to 'compiler/Logging.ml')
-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 7b95f41d..5f22506b 100644 --- a/compiler/Logging.ml +++ b/compiler/Logging.ml @@ -36,6 +36,9 @@ let paths_log = L.get_logger "MainLogger.Interpreter.Paths" (** Logger for InterpreterExpansion *) let expansion_log = L.get_logger "MainLogger.Interpreter.Expansion" +(** Logger for InterpreterProjectors *) +let projectors_log = L.get_logger "MainLogger.Interpreter.Projectors" + (** Logger for InterpreterBorrows *) let borrows_log = L.get_logger "MainLogger.Interpreter.Borrows" |