tuned;

--- a/src/Pure/Tools/build_process.scala	Wed Mar 01 15:04:58 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Wed Mar 01 15:06:54 2023 +0100
@@ -35,9 +35,8 @@
 
       val sessions =
         Map.from(
-          for (name <- build_graph.keys_iterator)
+          for ((name, (info, _)) <- build_graph.iterator)
           yield {
-            val info = sessions_structure(name)
             val deps = info.parent.toList
             val ancestors = sessions_structure.build_requirements(deps)
             val session_context =