generalize: remove incorrect comment

Introduced in ocaml#9994
trefis · Feb 10, 2021 · fc45fc1 · fc45fc1
1 parent c1fc8ea
commit fc45fc1
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 *)