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.

1 files changed, 1 insertions, 1 deletions

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)