# HG changeset patch
# User wenzelm
# Date 1536399887 -7200
# Node ID c192c8f9f19bc14a23aab249705a99fcf5a00fc9
# Parent  cbf5475a0f66e5ecc11df16fdee4c9c58ca18c33
tuned output;

diff -r cbf5475a0f66 -r c192c8f9f19b src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Fri Sep 07 23:48:19 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Sep 08 11:44:47 2018 +0200
@@ -237,7 +237,7 @@
 
       val sessions = getopts(args)
 
-      val progress = new Console_Progress(verbose = verbose)
+      val progress = new Console_Progress()
       {
         override def theory_percentage(session: String, theory: String, percentage: Int)
         {