diff options
author | Son HO | 2024-03-29 18:02:40 +0100 |
---|---|---|
committer | GitHub | 2024-03-29 18:02:40 +0100 |
commit | f4a89caad1459f2f72295c5baa284fe1f9b4c39f (patch) | |
tree | 70237cbc5ff7e0868c9b6918cae21f9bc8ba6272 /compiler/Logging.ml | |
parent | bfcec191f68a4cbfab14f5b92a8d6a46d6b02539 (diff) | |
parent | 1a86cac476c1f5c0d64d5a12db267d3ac651561b (diff) |
Merge pull request #95 from AeneasVerif/escherichia/errors
Escherichia/errors
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 9c20f32f..9b8019b2 100644 --- a/compiler/Logging.ml +++ b/compiler/Logging.ml @@ -3,6 +3,9 @@ include Charon.Logging (** Below, we create subgloggers for various submodules, so that we can precisely toggle logging on/off, depending on which information we need *) +(** Logger for Errors *) +let errors_log = L.get_logger "MainLogger.Errors" + (** Logger for PrePasses *) let pre_passes_log = L.get_logger "MainLogger.PrePasses" |