src/Pure/type_infer.ML
changeset 35013 f3d491658893
parent 32146 4937d9836824
child 37145 01aa36932739
child 37235 cafcc42bae77
     1.1 --- a/src/Pure/type_infer.ML	Sat Feb 06 16:32:34 2010 +0100
     1.2 +++ b/src/Pure/type_infer.ML	Sat Feb 06 20:57:07 2010 +0100
     1.3 @@ -284,7 +284,7 @@
     1.4        | meets _ tye_idx = tye_idx;
     1.5  
     1.6  
     1.7 -    (* occurs check and assigment *)
     1.8 +    (* occurs check and assignment *)
     1.9  
    1.10      fun occurs_check tye i (Param (i', S)) =
    1.11            if i = i' then raise NO_UNIFIER ("Occurs check!", tye)