diff options
Diffstat (limited to 'typing/printtyp.ml')
| -rw-r--r-- | typing/printtyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index fd0e1024bf..ac9c58cdd3 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -248,7 +248,7 @@ let rec mark_loops_rec visited ty = | Some(p, tyl) when namable_row row -> List.iter (mark_loops_rec visited) tyl | _ -> - iter_row (mark_loops_rec visited) {row with row_bound = []} + iter_row (mark_loops_rec visited) row end | Tobject (fi, nm) -> if List.memq px !visited_objects then add_alias px else |