diff -r 1d447e4fc549 -r 566e6e393126 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Mar 01 15:01:34 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Wed Mar 01 15:04:58 2023 +0100
@@ -38,10 +38,11 @@
           for (name <- build_graph.keys_iterator)
           yield {
             val info = sessions_structure(name)
-            val ancestors = sessions_structure.build_requirements(info.parent.toList)
+            val deps = info.parent.toList
+            val ancestors = sessions_structure.build_requirements(deps)
             val session_context =
               Build_Job.Session_Context.load(
-                name, info.deps, ancestors, info.timeout, store, progress = progress)
+                name, deps, ancestors, info.timeout, store, progress = progress)
             name -> session_context
           })