From cb179ba97d2eafac07ac1208ab1e6ab4446f89df Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 13 Nov 2023 14:17:55 +0100
Subject: Make minor modifications

---
 compiler/Logging.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'compiler/Logging.ml')

diff --git a/compiler/Logging.ml b/compiler/Logging.ml
index 721655b8..f4ad87a9 100644
--- a/compiler/Logging.ml
+++ b/compiler/Logging.ml
@@ -6,6 +6,9 @@ include Charon.Logging
 (** Logger for PrePasses *)
 let pre_passes_log = L.get_logger "MainLogger.PrePasses"
 
+(** Logger for RegionsHierarchy *)
+let regions_hierarchy_log = L.get_logger "MainLogger.RegionsHierarchy"
+
 (** Logger for Translate *)
 let translate_log = L.get_logger "MainLogger.Translate"
 
-- 
cgit v1.2.3