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