src/Pure/Tools/build.scala
changeset 65250 13a6c81534a8
parent 65220 420f55912b3e
child 65251 4b0a43afc3fb
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 14 23:25:53 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Mar 15 10:08:27 2017 +0100
     1.3 @@ -135,7 +135,7 @@
     1.4                    case (global, _, thys) =>
     1.5                      thys.map(thy =>
     1.6                        (resources.node_name(
     1.7 -                        if (global) "" else name, info.dir + Resources.thy_path(thy)), info.pos))
     1.8 +                        if (global) "" else name, info.dir + resources.thy_path(thy)), info.pos))
     1.9                  })
    1.10                val thy_deps = resources.thy_info.dependencies(name, root_theories)
    1.11