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;
authorwenzelm
Wed, 30 Sep 2009 00:27:19 +0200
changeset 32770 c6e6a4665ff5
parent 32769 511e6976f031
child 32771 995b9c763c66
made SML/NJ happy;
src/HOL/Tools/record.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/record.ML	Wed Sep 30 00:17:06 2009 +0200
+++ b/src/HOL/Tools/record.ML	Wed Sep 30 00:27:19 2009 +0200
@@ -104,7 +104,7 @@
   val empty = Symtab.make [tuple_istuple];
   val copy = I;
   val extend = I;
-  val merge = K (Symtab.merge Thm.eq_thm_prop);
+  fun merge _ = Symtab.merge Thm.eq_thm_prop;
 );
 
 fun do_typedef name repT alphas thy =
isabelle