diff options
Diffstat (limited to 'src/Logging.ml')
| -rw-r--r-- | src/Logging.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Logging.ml b/src/Logging.ml index 7067920b..7f4152a5 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -10,7 +10,7 @@ let main_log = L.get_logger "MainLogger" toggle logging on/off, depending on which information we need *) (** Logger for CfimOfJson *) -let cfim_of_json_logger = L.get_logger "MainLogger.CfimOfJson" +let llbc_of_json_logger = L.get_logger "MainLogger.CfimOfJson" (** Logger for PrePasses *) let pre_passes_log = L.get_logger "MainLogger.PrePasses" |