tuned;

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