src/Pure/Tools/build.scala
changeset 55488 60c159d490a2
parent 54939 b411e99d1581
child 55618 995162143ef4
     1.1 --- a/src/Pure/Tools/build.scala	Fri Feb 14 11:10:28 2014 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Feb 14 14:39:44 2014 +0100
     1.3 @@ -432,7 +432,7 @@
     1.4              val thy_deps =
     1.5                thy_info.dependencies(
     1.6                  info.theories.map(_._2).flatten.
     1.7 -                  map(thy => thy_load.node_name(info.dir + Thy_Load.thy_path(thy))))
     1.8 +                  map(thy => (thy_load.node_name(info.dir + Thy_Load.thy_path(thy)), info.pos)))
     1.9  
    1.10              thy_deps.errors match {
    1.11                case Nil =>