From 519b486f53032e8e41fe32ef550cd4ea94f2d7d8 Mon Sep 17 00:00:00 2001
From: Frederick Yin <fred.yin@sjtu.edu.cn>
Date: Mon, 11 Oct 2021 20:48:27 +0800
Subject: Suppress warnings from workers

Normally workers warn about deductions detected. This is unwanted
behavior, as we *will* display them in union. Thus, logging level is set
to ERROR.
---
 util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'util.py')

diff --git a/util.py b/util.py
index 700f65c..07dcafe 100644
--- a/util.py
+++ b/util.py
@@ -13,7 +13,7 @@ class Logger():
             formatter = logging.Formatter(
                 '[%(asctime)s][%(levelname)8s][%(filename)s %(lineno)3s]%(message)s'
             )
-            logger.setLevel(logging.DEBUG)
+            logger.setLevel(logging.ERROR)
             streamHandler = logging.StreamHandler()
             streamHandler.setFormatter(formatter)
             streamHandler.setLevel(logging.WARNING)
-- 
cgit v1.2.3