# HG changeset patch
# User wenzelm
# Date 1565168977 -7200
# Node ID d9ba9563b139663cb84e1eb2a12837b281b4293f
# Parent  1a1b7d7f24bb6fdf7eb28404dd50f91e8908c54b
removed junk (cf. fa933b98d64d);

diff -r 1a1b7d7f24bb -r d9ba9563b139 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Aug 07 10:52:19 2019 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 07 11:09:37 2019 +0200
@@ -289,7 +289,6 @@
             }
 
           process.result(
-            progress_stderr = Output.writeln(_),
             progress_stdout = (line: String) =>
               Library.try_unprefix("\floading_theory = ", line) match {
                 case Some(theory) =>