# HG changeset patch
# User wenzelm
# Date 1677961512 -3600
# Node ID 8dfe2fbc98e73eb20ea26bc8fbd3e7200616c0e7
# Parent  a8175b950173b88614d8c6f0a7498342113c75dd
tuned whitespace;

diff -r a8175b950173 -r 8dfe2fbc98e7 src/Pure/System/progress.scala
--- a/src/Pure/System/progress.scala	Sat Mar 04 17:36:29 2023 +0100
+++ b/src/Pure/System/progress.scala	Sat Mar 04 21:25:12 2023 +0100
@@ -95,7 +95,8 @@
   override def toString: String = super.toString + ": console"
 }
 
-class File_Progress(path: Path, override val verbose: Boolean = false) extends Progress {
+class File_Progress(path: Path, override val verbose: Boolean = false)
+extends Progress {
   override def echo(message: Progress.Message): Unit =
     File.append(path, message.output_text + "\n")