# HG changeset patch
# User wenzelm
# Date 1677679498 -3600
# Node ID 566e6e39312646760f74de5283c66baa313eee2d
# Parent  1d447e4fc5499935595f900b0c8c1ea3d2a30533
proper deps from build_graph, not imports_graph (amending 0c704aba71e3);

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
           })