From bc769de61077adacad9a8b6027cad57195ba1ba9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Feb 2022 11:48:02 +0100
Subject: Deactivate some logs

---
 src/main.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/main.ml b/src/main.ml
index 842f06a4..10b592e4 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -48,10 +48,10 @@ let () =
   main_log#set_level EL.Debug;
   interpreter_log#set_level EL.Debug;
   statements_log#set_level EL.Debug;
-  paths_log#set_level EL.Debug;
-  expressions_log#set_level EL.Debug;
-  expansion_log#set_level EL.Debug;
-  borrows_log#set_level EL.Debug;
+  paths_log#set_level EL.Warning;
+  expressions_log#set_level EL.Warning;
+  expansion_log#set_level EL.Warning;
+  borrows_log#set_level EL.Warning;
   invariants_log#set_level EL.Warning;
   symbolic_to_pure_log#set_level EL.Debug;
   pure_micro_passes_log#set_level EL.Debug;
-- 
cgit v1.2.3