# HG changeset patch
# User wenzelm
# Date 1710342551 -3600
# Node ID caf61c098754624a7889ff07b6e0698aca560df7
# Parent  6fa259b24deb759f293623a16079964ff1a5de58
tuned whitespace;

diff -r 6fa259b24deb -r caf61c098754 src/Pure/Build/database_progress.scala
--- a/src/Pure/Build/database_progress.scala	Wed Mar 13 11:23:22 2024 +0100
+++ b/src/Pure/Build/database_progress.scala	Wed Mar 13 16:09:11 2024 +0100
@@ -249,7 +249,8 @@
     }
 
     _consumer = Consumer_Thread.fork_bulk[Progress.Output](name = "Database_Progress.consumer")(
-      bulk = _ => true, timeout = timeout,
+      bulk = _ => true,
+      timeout = timeout,
       consume = { bulk_output =>
         val results =
           if (bulk_output.isEmpty) consume(Nil)