tuned;

--- a/src/Pure/Tools/update.scala	Sun Jan 15 11:59:45 2023 +0100
+++ b/src/Pure/Tools/update.scala	Sun Jan 15 12:04:08 2023 +0100
@@ -61,7 +61,7 @@
       else {
         Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
           .selection(Sessions.Selection(sessions = base_logics))
-          .build_topological_order.toSet
+          .build_graph.domain
       }
 
     // test