changeset 70481 | d9ba9563b139 |
parent 70454 | fa933b98d64d |
child 70509 | a829207b32a3 |
--- 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) =>