Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/sessions.scala
changeset 71574 95460356d633
parent 71569 391ea80ff27c
child 71595 01d92325ddab 
--- a/src/Pure/Thy/sessions.scala	Fri Mar 20 19:55:42 2020 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Mar 20 20:23:40 2020 +0100
@@ -222,7 +222,7 @@
               val required_sessions =
                 dependencies.loaded_theories.all_preds(dependencies.theories.map(_.theory))
                   .map(theory => imports_base.theory_qualifier(theory))
-                  .filterNot(_ == info.name)
+                  .filter(name => name != info.name && sessions_structure.defined(name))
 
               val required_subgraph =
                 sessions_structure.imports_graph
isabelle