diff options
author | Son Ho | 2022-01-28 01:52:58 +0100 |
---|---|---|
committer | Son Ho | 2022-01-28 01:52:58 +0100 |
commit | dc9d2c64bc2948bfdff78f1d2abae45ec9b4972c (patch) | |
tree | c7dba718348778a47003c1a99717ed61f97ff5e3 /src/Logging.ml | |
parent | 3af881c9a5c8935e2238509d3447ec42e29b8404 (diff) |
Make a lot of small modifications
Diffstat (limited to '')
-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 ad600adc..5605772d 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -15,6 +15,9 @@ let translate_log = L.get_logger "MainLogger.Translate" (** Logger for SymbolicToPure *) let symbolic_to_pure_log = L.get_logger "MainLogger.SymbolicToPure" +(** Logger for PureMicroPasses *) +let pure_micro_passes_log = L.get_logger "MainLogger.PureMicroPasses" + (** Logger for PureToExtract *) let pure_to_extract_log = L.get_logger "MainLogger.PureToExtract" |