Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_info.scala
changeset 54515 570ba266f5b5
parent 51298 ec7f10155389
child 54549 2a3053472ec3 
--- a/src/Pure/Thy/thy_info.scala	Mon Nov 18 23:46:59 2013 +0100
+++ b/src/Pure/Thy/thy_info.scala	Tue Nov 19 12:57:56 2013 +0100
@@ -68,7 +68,7 @@
       val dep_files =
         rev_deps.par.map(dep =>
           Exn.capture {
-            dep.load_files(syntax).map(a => Path.explode(dep.name.dir) + Path.explode(a))
+            dep.load_files(syntax).map(a => Path.explode(dep.name.master_dir) + Path.explode(a))
           }).toList
       ((Nil: List[Path]) /: dep_files) {
         case (acc_files, files) => Exn.release(files) ::: acc_files
isabelle