# HG changeset patch
# User wenzelm
# Date 1677681716 -3600
# Node ID 25a94a1b09da764ea11f0e0d03448556a01719de
# Parent  df22ef5c51ad5c5f6abb4be7450bac890c2461b3
tuned;

diff -r df22ef5c51ad -r 25a94a1b09da src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Mar 01 15:06:54 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Wed Mar 01 15:41:56 2023 +0100
@@ -536,9 +536,9 @@
     val new_pending =
       List.from(
         for {
-          (name, (_, (preds, _))) <- build_context.sessions_structure.build_graph.iterator
+          (name, session_context) <- build_context.sessions.iterator
           if !old_pending(name)
-        } yield Build_Process.Entry(name, preds.toList))
+        } yield Build_Process.Entry(name, session_context.deps))
     state.copy(pending = new_pending ::: state.pending)
   }