src/Pure/Tools/build.scala
changeset 56208 06cc31dff138
parent 55618 995162143ef4
child 56372 fadb0fef09d7
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 18 16:45:14 2014 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 18 17:39:03 2014 +0100
     1.3 @@ -419,8 +419,8 @@
     1.4                    val parent = deps(parent_name)
     1.5                    (parent.loaded_theories, parent.syntax)
     1.6                }
     1.7 -            val thy_load = new Thy_Load(preloaded, parent_syntax)
     1.8 -            val thy_info = new Thy_Info(thy_load)
     1.9 +            val resources = new Resources(preloaded, parent_syntax)
    1.10 +            val thy_info = new Thy_Info(resources)
    1.11  
    1.12              if (verbose || list_files) {
    1.13                val groups =
    1.14 @@ -432,7 +432,7 @@
    1.15              val thy_deps =
    1.16                thy_info.dependencies(
    1.17                  info.theories.map(_._2).flatten.
    1.18 -                  map(thy => (thy_load.node_name(info.dir + Thy_Load.thy_path(thy)), info.pos)))
    1.19 +                  map(thy => (resources.node_name(info.dir + Resources.thy_path(thy)), info.pos)))
    1.20  
    1.21              thy_deps.errors match {
    1.22                case Nil =>