Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happy (again);
authorwenzelm
Thu, 18 Feb 2010 11:23:03 +0100
changeset 35198 f95c6440c1c7
parent 35197 5c5457a7be85
child 35199 2e37cdae7b9c
child 35206 19e5d1b38c19
child 35210 6e45e4c94751
made SML/NJ happy (again);
src/Pure/Syntax/syn_trans.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/syn_trans.ML	Thu Feb 18 08:17:24 2010 +0100
+++ b/src/Pure/Syntax/syn_trans.ML	Thu Feb 18 11:23:03 2010 +0100
@@ -510,7 +510,7 @@
     ("_DDDOT", dddot_tr),
     ("_update_name", update_name_tr),
     ("_index", index_tr)],
-   [],
+   ([]: (string * (term list -> term)) list),
    [("_abs", abs_ast_tr'),
     ("_idts", idtyp_ast_tr' "_idts"),
     ("_pttrns", idtyp_ast_tr' "_pttrns"),
isabelle