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/System/build.scala
changeset 50566 b43c4f660320
parent 50414 e17a1f179bb0 
--- a/src/Pure/System/build.scala	Sun Dec 16 18:02:28 2012 +0100
+++ b/src/Pure/System/build.scala	Sun Dec 16 18:44:27 2012 +0100
@@ -370,7 +370,7 @@
           val thy_deps =
             thy_info.dependencies(inlined_files,
               info.theories.map(_._2).flatten.
-                map(thy => Thy_Load.external_node(info.dir + Thy_Load.thy_path(thy))))
+                map(thy => Thy_Load.path_node_name(info.dir + Thy_Load.thy_path(thy))))
 
           val loaded_theories = thy_deps.loaded_theories
           val syntax = thy_deps.make_syntax
isabelle