src/Pure/Thy/sessions.scala
changeset 66715 6bced18e2b91
parent 66714 9fc4e144693c
child 66716 8737b866bd1c
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Sep 29 17:28:44 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Sep 29 17:35:09 2017 +0200
     1.3 @@ -205,7 +205,7 @@
     1.4  
     1.5              val syntax = thy_deps.syntax
     1.6  
     1.7 -            val theory_files = thy_deps.entries.map(entry => Path.explode(entry.name.node))
     1.8 +            val theory_files = thy_deps.names.map(name => Path.explode(name.node))
     1.9              val loaded_files =
    1.10                if (inlined_files) {
    1.11                  if (Sessions.is_pure(info.name)) {
    1.12 @@ -262,7 +262,7 @@
    1.13  
    1.14              val known =
    1.15                Known.make(info.dir, List(imports_base),
    1.16 -                theories = thy_deps.entries.map(_.name),
    1.17 +                theories = thy_deps.names,
    1.18                  loaded_files = loaded_files)
    1.19  
    1.20              val sources =