From 80d0d22f152386ffe28b48f42f42f8f736170014 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 13:23:13 +0100
Subject: Rename CfimOfJson to LlbcOfJson

---
 src/Logging.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Logging.ml')

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"
-- 
cgit v1.2.3