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)
         {