# HG changeset patch
# User wenzelm
# Date 1717330269 -7200
# Node ID d562aabcc8680f5011f5cc116b6ab1ae83cde8d6
# Parent  305d2f4a395f946f07ceb1e2345e7e6fa5315a4e
tuned;

diff -r 305d2f4a395f -r d562aabcc868 src/Pure/Build/resources.scala
--- a/src/Pure/Build/resources.scala	Sun Jun 02 13:36:24 2024 +0200
+++ b/src/Pure/Build/resources.scala	Sun Jun 02 14:11:09 2024 +0200
@@ -321,7 +321,8 @@
     def require_thy(adjunct: A,
       thy: (Document.Node.Name, Position.T),
       initiators: List[Document.Node.Name] = Nil,
-      progress: Progress = new Progress): Dependencies[A] = {
+      progress: Progress = new Progress
+    ): Dependencies[A] = {
       val (name, pos) = thy
 
       def message: String =
@@ -357,8 +358,10 @@
     def require_thys(adjunct: A,
         thys: List[(Document.Node.Name, Position.T)],
         progress: Progress = new Progress,
-        initiators: List[Document.Node.Name] = Nil): Dependencies[A] =
+        initiators: List[Document.Node.Name] = Nil
+    ): Dependencies[A] = {
       thys.foldLeft(this)(_.require_thy(adjunct, _, progress = progress, initiators = initiators))
+    }
 
     def entries: List[Document.Node.Entry] = rev_entries.reverse