diff -r a3bae6dd7344 -r f2f4b953ead6 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Mon Jul 01 15:24:04 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jul 01 15:25:27 2024 +0200
@@ -1679,12 +1679,11 @@
       val store = Store(options)
       val progress = new Console_Progress()
 
-      build_task(options, store = store, afp_root = afp_root, base_sessions =
-        base_sessions.toList, presentation = presentation, requirements = requirements,
-        exclude_session_groups = exclude_session_groups.toList, all_sessions = all_sessions,
-        build_heap = build_heap, clean_build = clean_build, export_files = export_files,
-        fresh_build = fresh_build, session_groups = session_groups.toList, sessions = sessions,
-        prefs = prefs.toList, verbose = verbose, rev = rev, exclude_sessions =
-        exclude_sessions.toList, progress = progress)
+      build_task(options, store, afp_root = afp_root, base_sessions = base_sessions.toList,
+        presentation = presentation, requirements = requirements, exclude_session_groups =
+        exclude_session_groups.toList, all_sessions = all_sessions, build_heap = build_heap,
+        clean_build = clean_build, export_files = export_files, fresh_build = fresh_build,
+        session_groups = session_groups.toList, sessions = sessions, prefs = prefs.toList, verbose =
+        verbose, rev = rev, exclude_sessions = exclude_sessions.toList, progress = progress)
     })
 }