src/Pure/Thy/sessions.scala
changeset 67059 df7d728103f1
parent 67053 57c37ee49c39
child 67097 d1b8464654c5
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun Nov 12 19:42:22 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun Nov 12 19:46:19 2017 +0100
     1.3 @@ -234,7 +234,7 @@
     1.4  
     1.5              val overall_syntax = dependencies.overall_syntax
     1.6  
     1.7 -            val theory_files = dependencies.names.map(_.path)
     1.8 +            val theory_files = dependencies.theories.map(_.path)
     1.9              val loaded_files =
    1.10                if (inlined_files) {
    1.11                  if (Sessions.is_pure(info.name)) {
    1.12 @@ -294,7 +294,7 @@
    1.13  
    1.14              val known =
    1.15                Known.make(info.dir, List(imports_base),
    1.16 -                theories = dependencies.names,
    1.17 +                theories = dependencies.theories,
    1.18                  loaded_files = loaded_files)
    1.19  
    1.20              val sources_errors =