diff -r 4543fb2b5ef2 -r 2ad892ac749a src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Nov 17 13:11:58 2021 +0100
+++ b/src/Pure/Tools/build.scala	Wed Nov 17 15:23:15 2021 +0100
@@ -244,7 +244,7 @@
 
     val presentation_sessions =
       (for {
-        session_name <- deps.sessions_structure.imports_topological_order.iterator
+        session_name <- deps.sessions_structure.build_topological_order.iterator
         info <- deps.sessions_structure.get(session_name)
         if full_sessions_selected(session_name) && presentation.enabled(info) }
       yield info).toList