diff options
Diffstat (limited to 'typing/types.mli')
| -rw-r--r-- | typing/types.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/types.mli b/typing/types.mli index 39e360fa09..a136da2a4c 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -51,7 +51,7 @@ and ext_atom = and row_desc = { row_fields: (label * row_field) list; row_more: type_expr; - row_bound: type_expr list; + row_bound: unit; (* kept for compatibility *) row_closed: bool; row_fixed: bool; row_name: (Path.t * type_expr list) option } |