# HG changeset patch
# User haftmann
# Date 1144650626 -7200
# Node ID 8ad34412ea9755d9f90fdf9231ae6c0315352821
# Parent  524f1cb4652a9f327807d478cfd5e7df7a1cad78
fixed value restriction

diff -r 524f1cb4652a -r 8ad34412ea97 src/Pure/axclass.ML
--- 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;