# HG changeset patch
# User wenzelm
# Date 1194450176 -3600
# Node ID ed4ac5966c683522474980d3c616952401c6dbbe
# Parent  50d4c8257d0668d60aacfae293e7f9a242e11ff8
tuned signature;

diff -r 50d4c8257d06 -r ed4ac5966c68 src/Pure/type.ML
--- a/src/Pure/type.ML	Wed Nov 07 16:42:55 2007 +0100
+++ b/src/Pure/type.ML	Wed Nov 07 16:42:56 2007 +0100
@@ -55,7 +55,7 @@
 
   (*matching and unification*)
   exception TYPE_MATCH
-  type tyenv
+  type tyenv = (sort * typ) Vartab.table
   val lookup: tyenv * (indexname * sort) -> typ option
   val typ_match: tsig -> typ * typ -> tyenv -> tyenv
   val typ_instance: tsig -> typ * typ -> bool