src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/System/progress.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -34,7 +34,7 @@
   def echo_error_message(msg: String) { echo(Output.error_message_text(msg)) }
 
   def timeit[A](message: String = "", enabled: Boolean = true)(e: => A): A =
-    Timing.timeit(message, enabled, echo(_))(e)
+    Timing.timeit(message, enabled, echo)(e)
 
   def stopped: Boolean = false
   def interrupt_handler[A](e: => A): A = e