--- a/src/Pure/Tools/update.scala Sat Jan 14 20:15:09 2023 +0100
+++ b/src/Pure/Tools/update.scala Sat Jan 14 20:42:48 2023 +0100
@@ -56,15 +56,9 @@
val exclude: Set[String] =
if (base_logics.isEmpty) Set.empty
else {
- val sessions =
- Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
- .selection(selection)
-
- for (name <- base_logics if !sessions.defined(name)) {
- error("Base logic " + quote(name) + " outside of session selection")
- }
-
- sessions.build_requirements(base_logics).toSet
+ Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
+ .selection(Sessions.Selection(sessions = base_logics))
+ .build_topological_order.toSet
}
// test