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 48883 04cd2fddb4d9
parent 48872 6124e0d1120a
child 48903 1621b3f26095 
--- a/src/Pure/System/build.scala	Wed Aug 22 15:53:17 2012 +0200
+++ b/src/Pure/System/build.scala	Wed Aug 22 16:10:23 2012 +0200
@@ -354,7 +354,7 @@
                 map(thy => Document.Node.Name(info.dir + Thy_Load.thy_path(thy))))
 
           val loaded_theories = thy_deps.loaded_theories
-          val syntax = thy_deps.syntax
+          val syntax = thy_deps.make_syntax
 
           val all_files =
             thy_deps.deps.map({ case (n, h) =>
isabelle