Make minor updates to deserialization

1 files changed, 3 insertions, 0 deletions

diff --git a/src/Logging.ml b/src/Logging.ml
index a7313de5..7067920b 100644
--- a/src/Logging.ml
+++ b/src/Logging.ml
@@ -9,6 +9,9 @@ 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 cfim_of_json_logger = L.get_logger "MainLogger.CfimOfJson"
+
 (** Logger for PrePasses *)
 let pre_passes_log = L.get_logger "MainLogger.PrePasses"