--- a/src/Pure/variable.ML Mon Oct 25 11:16:23 2010 +0200
+++ b/src/Pure/variable.ML Mon Oct 25 11:22:30 2010 +0200
@@ -77,7 +77,7 @@
binds: (typ * term) Vartab.table, (*term bindings*)
type_occs: string list Symtab.table, (*type variables -- possibly within term variables*)
maxidx: int, (*maximum var index*)
- sorts: sort Ord_List.T, (*declared sort occurrences*)
+ sorts: sort Ord_List.T, (*declared sort occurrences*)
constraints:
typ Vartab.table * (*type constraints*)
sort Vartab.table}; (*default sorts*)