--- a/src/Pure/Tools/dump.scala Sat Sep 08 16:55:38 2018 +0200
+++ b/src/Pure/Tools/dump.scala Sat Sep 08 21:48:26 2018 +0200
@@ -242,13 +242,7 @@
val sessions = getopts(args)
- val progress = new Console_Progress()
- {
- override def theory_percentage(session: String, theory: String, percentage: Int)
- {
- if (verbose) echo(Progress.theory_message(session, theory) + ": " + percentage + "%")
- }
- }
+ val progress = new Console_Progress(verbose = verbose)
val result =
progress.interrupt_handler {