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/Syntax/local_syntax.ML
changeset 42284 326f57825e1a
parent 42240 5a4d30cd47a7
child 42288 2074b31650e6 
--- a/src/Pure/Syntax/local_syntax.ML	Fri Apr 08 11:39:45 2011 +0200
+++ b/src/Pure/Syntax/local_syntax.ML	Fri Apr 08 13:31:16 2011 +0200
@@ -58,7 +58,7 @@
       | update_gram ((false, add, m), decls) =
           Syntax.update_const_gram add (Sign.is_logtype thy) m decls;
 
-    val (atrs, trs, trs', atrs') = Syntax.struct_trfuns structs;
+    val (atrs, trs, trs', atrs') = Syntax_Trans.struct_trfuns structs;
     val local_syntax = thy_syntax
       |> Syntax.update_trfuns
           (map Syntax.mk_trfun atrs, map Syntax.mk_trfun trs,
isabelle