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.
make SML/NJ happy;
authorwenzelm
Wed, 06 Sep 2000 19:01:37 +0200
changeset 9879 a1fcaf2d080d
parent 9878 b145613939c1
child 9880 3b63a8dd56e3
make SML/NJ happy;
src/HOL/Tools/recdef_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/recdef_package.ML	Wed Sep 06 17:58:37 2000 +0200
+++ b/src/HOL/Tools/recdef_package.ML	Wed Sep 06 19:01:37 2000 +0200
@@ -105,7 +105,7 @@
   val name = "HOL/recdef";
   type T = recdef_info Symtab.table * hints;
 
-  val empty = (Symtab.empty, mk_hints ([], [], []));
+  val empty = (Symtab.empty, mk_hints ([], [], [])): T;
   val copy = I;
   val prep_ext = I;
   fun merge
isabelle