src/Pure/Tools/dump.scala
changeset 68941 c192c8f9f19b
parent 68936 90c08c7bab9c
child 68942 4709898282a6
     1.1 --- a/src/Pure/Tools/dump.scala	Fri Sep 07 23:48:19 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Sat Sep 08 11:44:47 2018 +0200
     1.3 @@ -237,7 +237,7 @@
     1.4  
     1.5        val sessions = getopts(args)
     1.6  
     1.7 -      val progress = new Console_Progress(verbose = verbose)
     1.8 +      val progress = new Console_Progress()
     1.9        {
    1.10          override def theory_percentage(session: String, theory: String, percentage: Int)
    1.11          {