Make progress on translation

1 files changed, 6 insertions, 0 deletions

diff --git a/src/Logging.ml b/src/Logging.ml
index 36ede236..23bf672d 100644
--- a/src/Logging.ml
+++ b/src/Logging.ml
@@ -9,6 +9,12 @@ 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 Translate *)
+let translate_log = L.get_logger "MainLogger.Translate"
+
+(** Logger for SymbolicToPure *)
+let symbolic_to_pure_log = L.get_logger "MainLogger.SymbolicToPure"
+
 (** Logger for Interpreter *)
 let interpreter_log = L.get_logger "MainLogger.Interpreter"