--- a/src/Pure/type_infer.ML Sat Apr 14 17:36:19 2007 +0200
+++ b/src/Pure/type_infer.ML Sat Apr 14 17:38:30 2007 +0200
@@ -446,7 +446,7 @@
in paramify end;
-(* decode sort constraints *)
+(* get sort constraints *)
fun get_sort tsig def_sort map_sort raw_env =
let