From 1f4e6c1dbf32bbb58288b1b96ede898f36284977 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Feb 2022 11:48:55 +0100
Subject: Make minor modifications with regards to logging

---
 src/main.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/main.ml b/src/main.ml
index 10b592e4..1c2b0fe8 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -55,6 +55,7 @@ let () =
   invariants_log#set_level EL.Warning;
   symbolic_to_pure_log#set_level EL.Debug;
   pure_micro_passes_log#set_level EL.Debug;
+  pure_to_extract_log#set_level EL.Debug;
   translate_log#set_level EL.Debug;
   (* Load the module *)
   let json = Yojson.Basic.from_file !filename in
-- 
cgit v1.2.3