src/Pure/Tools/build.scala
changeset 56392 bc118a32a870
parent 56372 fadb0fef09d7
child 56393 22f533e6a049
     1.1 --- a/src/Pure/Tools/build.scala	Thu Apr 03 19:49:53 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Apr 03 20:17:12 2014 +0200
     1.3 @@ -443,10 +443,10 @@
     1.4              val keywords = thy_deps.keywords
     1.5              val syntax = thy_deps.syntax
     1.6  
     1.7 -            val body_files = if (inlined_files) thy_deps.load_files else Nil
     1.8 +            val loaded_files = if (inlined_files) thy_deps.loaded_files else Nil
     1.9  
    1.10              val all_files =
    1.11 -              (thy_deps.deps.map(dep => Path.explode(dep.name.node)) ::: body_files :::
    1.12 +              (thy_deps.deps.map(dep => Path.explode(dep.name.node)) ::: loaded_files :::
    1.13                  info.files.map(file => info.dir + file)).map(_.expand)
    1.14  
    1.15              if (list_files) {