1 files changed, 1 insertions, 0 deletions
diff --git a/params.h b/params.h
index c3e6d5e..74c3db6 100644
--- a/params.h
+++ b/params.h
@@ -13,3 +13,4 @@ const int timeout_msec = 60000;
 
 const bool multilog_fancy = true;
 const bool referee_verbose = false;
+const bool scheduler_verbose = false;