diff -r 03d4954c68bb -r df7d728103f1 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Sun Nov 12 19:42:22 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Sun Nov 12 19:46:19 2017 +0100
@@ -234,7 +234,7 @@
 
             val overall_syntax = dependencies.overall_syntax
 
-            val theory_files = dependencies.names.map(_.path)
+            val theory_files = dependencies.theories.map(_.path)
             val loaded_files =
               if (inlined_files) {
                 if (Sessions.is_pure(info.name)) {
@@ -294,7 +294,7 @@
 
             val known =
               Known.make(info.dir, List(imports_base),
-                theories = dependencies.names,
+                theories = dependencies.theories,
                 loaded_files = loaded_files)
 
             val sources_errors =