From dc9d2c64bc2948bfdff78f1d2abae45ec9b4972c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Jan 2022 01:52:58 +0100
Subject: Make a lot of small modifications

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

(limited to 'src/Logging.ml')

diff --git a/src/Logging.ml b/src/Logging.ml
index ad600adc..5605772d 100644
--- a/src/Logging.ml
+++ b/src/Logging.ml
@@ -15,6 +15,9 @@ let translate_log = L.get_logger "MainLogger.Translate"
 (** Logger for SymbolicToPure *)
 let symbolic_to_pure_log = L.get_logger "MainLogger.SymbolicToPure"
 
+(** Logger for PureMicroPasses *)
+let pure_micro_passes_log = L.get_logger "MainLogger.PureMicroPasses"
+
 (** Logger for PureToExtract *)
 let pure_to_extract_log = L.get_logger "MainLogger.PureToExtract"
 
-- 
cgit v1.2.3