# HG changeset patch
# User wenzelm
# Date 1176565110 -7200
# Node ID bbf8835c9f874b2d456d5062976cc28a630ff1f8
# Parent  53943f4dab21214512e3b08e2c3ec122bfd6fdb8
tuned comment;

diff -r 53943f4dab21 -r bbf8835c9f87 src/Pure/type_infer.ML
--- 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