generalize: remove incorrect comment

Introduced in ocaml#9994
smuenzel · Mar 30, 2021 · 5e12afe · 5e12afe
1 parent 93a8f5c
commit 5e12afe
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/typing/ctype.ml b/typing/ctype.ml
@@ -727,7 +727,6 @@ let duplicate_class_type ty =
 *)
 let rec generalize ty =
   let ty = repr ty in
-  (* generalize the type iff ty.level <= !current_level *)
   if (ty.level > !current_level) && (ty.level <> generic_level) then begin
     set_level ty generic_level;
     (* recur into abbrev for the speed *)