diff options
Diffstat (limited to 'src/Logging.ml')
| -rw-r--r-- | src/Logging.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/Logging.ml b/src/Logging.ml index b0eeadb7..2759854c 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -15,12 +15,14 @@ let interpreter_log = L.get_logger "MainLogger.Interpreter" (** Logger for InterpreterStatements *) let statements_log = L.get_logger "MainLogger.Interpreter.Statements" +(** Logger for InterpreterExpressions *) +let expressions_log = L.get_logger "MainLogger.Interpreter.Expressions" + (** Logger for InterpreterExpansion *) -let expansion_log = L.get_logger "MainLogger.Interpreter.Statements.Expansion" +let expansion_log = L.get_logger "MainLogger.Interpreter.Expansion" -(** Logger for InterpreterExpressions *) -let expressions_log = - L.get_logger "MainLogger.Interpreter.Statements.Expressions" +(** Logger for InterpreterBorrows *) +let borrows_log = L.get_logger "MainLogger.Interpreter.Borrows" (** Logger for Invariants *) let invariants_log = L.get_logger "MainLogger.Interpreter.Invariants" |