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.
fixed value restriction
authorhaftmann
Mon, 10 Apr 2006 08:30:26 +0200
changeset 19398 8ad34412ea97
parent 19397 524f1cb4652a
child 19399 fd2ba98056a2
fixed value restriction
src/Pure/axclass.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/axclass.ML	Mon Apr 10 08:26:26 2006 +0200
+++ b/src/Pure/axclass.ML	Mon Apr 10 08:30:26 2006 +0200
@@ -117,7 +117,7 @@
   val name = "Pure/axclass";
   type T = axclass Symtab.table * instances;
 
-  val empty = (Symtab.empty, make_instances (Graph.empty, [], []));
+  val empty = (Symtab.empty, make_instances (Graph.empty, [], [])) : T;
   val copy = I;
   val extend = I;
isabelle