diff options
author | Son Ho | 2022-01-27 22:04:35 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 22:04:35 +0100 |
commit | 6070002cbc97a46b8c060a8ac58c0602a1fbf660 (patch) | |
tree | 032ad997592ef80fd3e84608f05e93e5c12caddb /src/Logging.ml | |
parent | 8f397cd1c8b187ce1cc7e3ed8522b123496c9157 (diff) |
Move some definitions from SymbolicToPure to PureToExtract
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 23bf672d..ad600adc 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 PureToExtract *) +let pure_to_extract_log = L.get_logger "MainLogger.PureToExtract" + (** Logger for Interpreter *) let interpreter_log = L.get_logger "MainLogger.Interpreter" |