# HG changeset patch
# User wenzelm
# Date 811675410 -7200
# Node ID ec738ecb911c2ec25c197f600c69eb006bcea868
# Parent  1f3687711037e963e3e1c5b7762d4d9524b00931
added comment;

diff -r 1f3687711037 -r ec738ecb911c src/Pure/type.ML
--- a/src/Pure/type.ML	Wed Sep 13 11:21:58 1995 +0200
+++ b/src/Pure/type.ML	Thu Sep 21 11:23:30 1995 +0200
@@ -5,6 +5,7 @@
 Type classes and sorts. Type signatures. Type unification and inference.
 
 TODO:
+  improve nonempty_sort!
   move type unification and inference to type_unify.ML (TypeUnify) (?)
 *)
 
@@ -955,7 +956,7 @@
     bound variables of the same name but different types.
 *)
 
-(* FIXME consitency of sort_env / sorts (!?) *)
+(* FIXME consistency of sort_env / sorts (!?) *)
 
 fun attach_types (tsig, const_type, types, sorts) tm =
   let