diff -r aa92c0f96036 -r 29f2b8ff84f3 src/Pure/Tools/update.scala
--- a/src/Pure/Tools/update.scala	Sun May 19 18:43:45 2024 +0200
+++ b/src/Pure/Tools/update.scala	Mon May 20 15:43:51 2024 +0200
@@ -61,7 +61,7 @@
     val exclude: Set[String] =
       if (base_logics.isEmpty) Set.empty
       else {
-        Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
+        Sessions.load_structure(options, dirs = dirs ::: select_dirs)
           .selection(Sessions.Selection(sessions = base_logics))
           .build_graph.domain
       }