From 8339005f639d04b025cc01b589a4491ab4ad5ec8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 23:35:01 +0100
Subject: Fix some mistakes in the type conversion to pure

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

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index ca05ba78..193b20c2 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -92,6 +92,7 @@ let () =
    * command-line arguments *)
   Easy_logging.Handlers.set_level main_logger_handler EL.Debug;
   main_log#set_level EL.Debug;
+  pre_passes_log#set_level EL.Debug;
   interpreter_log#set_level EL.Debug;
   statements_log#set_level EL.Debug;
   paths_log#set_level EL.Debug;
@@ -99,6 +100,7 @@ let () =
   expansion_log#set_level EL.Debug;
   borrows_log#set_level EL.Debug;
   invariants_log#set_level EL.Warning;
+  pure_utils_log#set_level EL.Debug;
   symbolic_to_pure_log#set_level EL.Debug;
   pure_micro_passes_log#set_level EL.Debug;
   pure_to_extract_log#set_level EL.Debug;
-- 
cgit v1.2.3