From 6070002cbc97a46b8c060a8ac58c0602a1fbf660 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 22:04:35 +0100
Subject: Move some definitions from SymbolicToPure to PureToExtract

---
 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 23bf672d..ad600adc 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 PureToExtract *)
+let pure_to_extract_log = L.get_logger "MainLogger.PureToExtract"
+
 (** Logger for Interpreter *)
 let interpreter_log = L.get_logger "MainLogger.Interpreter"
 
-- 
cgit v1.2.3