# HG changeset patch
# User wenzelm
# Date 1584732220 -3600
# Node ID 95460356d63333ca108a1616415da653a518cadb
# Parent  c67076c07fb82fb3ff712d7131e1a3026ef47721
avoid premature crash due to missing session parents/imports;

diff -r c67076c07fb8 -r 95460356d633 src/Pure/Thy/sessions.scala
--- 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