tuned whitespace;

--- 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")