tuned comment;
authorwenzelm
Sat Apr 14 17:38:30 2007 +0200 (2007-04-14)
changeset 22688bbf8835c9f87
parent 22687 53943f4dab21
child 22689 b800228434a8
tuned comment;
src/Pure/type_infer.ML
     1.1 --- a/src/Pure/type_infer.ML	Sat Apr 14 17:36:19 2007 +0200
     1.2 +++ b/src/Pure/type_infer.ML	Sat Apr 14 17:38:30 2007 +0200
     1.3 @@ -446,7 +446,7 @@
     1.4    in paramify end;
     1.5  
     1.6  
     1.7 -(* decode sort constraints *)
     1.8 +(* get sort constraints *)
     1.9  
    1.10  fun get_sort tsig def_sort map_sort raw_env =
    1.11    let