# HG changeset patch
# User wenzelm
# Date 1677679614 -3600
# Node ID df22ef5c51ad5c5f6abb4be7450bac890c2461b3
# Parent  566e6e39312646760f74de5283c66baa313eee2d
tuned;

diff -r 566e6e393126 -r df22ef5c51ad src/Pure/Tools/build_process.scala
--- 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 =