# HG changeset patch
# User wenzelm
# Date 1673780648 -3600
# Node ID 5e34a2866edb57897265da7ab179383541e10ff8
# Parent  1d4f015a685b5ca5181ebc254dc0e96b2e42c2f6
tuned;

diff -r 1d4f015a685b -r 5e34a2866edb src/Pure/Tools/update.scala
--- 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