Rename CfimOfJson to LlbcOfJson

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Logging.ml b/src/Logging.ml
index 7f4152a5..6dca854c 100644
--- a/src/Logging.ml
+++ b/src/Logging.ml
@@ -9,8 +9,8 @@ let main_log = L.get_logger "MainLogger"
 (** Below, we create subgloggers for various submodules, so that we can precisely
     toggle logging on/off, depending on which information we need *)
 
-(** Logger for CfimOfJson *)
-let llbc_of_json_logger = L.get_logger "MainLogger.CfimOfJson"
+(** Logger for LlbcOfJson *)
+let llbc_of_json_logger = L.get_logger "MainLogger.LlbcOfJson"
 
 (** Logger for PrePasses *)
 let pre_passes_log = L.get_logger "MainLogger.PrePasses"