# HG changeset patch
# User wenzelm
# Date 1670496312 -3600
# Node ID dc779ddd35ccbf0eba359fa1c91b038c4b99634f
# Parent  9f97eda3fcf1204421010ff6d4db975f1536966c
tuned;

diff -r 9f97eda3fcf1 -r dc779ddd35cc src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Thu Dec 08 11:24:43 2022 +0100
+++ b/src/Pure/Thy/sessions.scala	Thu Dec 08 11:45:12 2022 +0100
@@ -827,7 +827,7 @@
         val exclude_group_sessions =
           (for {
             (name, (info, _)) <- imports_graph.iterator
-            if imports_graph.get_node(name).groups.exists(exclude_group)
+            if info.groups.exists(exclude_group)
           } yield name).toList
         imports_graph.all_succs(exclude_group_sessions ::: sel.exclude_sessions).toSet
       }