diff options
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/types.ml b/typing/types.ml index 2c3b5b6ebb..ed6e5bc02d 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -142,6 +142,7 @@ and type_kind = | Type_variant of (string * type_expr list) list | Type_record of (string * mutable_flag * type_expr) list * record_representation + | Type_private of type_kind type exception_declaration = type_expr list |