diff options
Diffstat (limited to 'typing/includecore.mli')
| -rw-r--r-- | typing/includecore.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/includecore.mli b/typing/includecore.mli index 17278a4aff..8ddd59cddc 100644 --- a/typing/includecore.mli +++ b/typing/includecore.mli @@ -33,6 +33,7 @@ type type_mismatch = | Field_names of int * Ident.t * Ident.t | Field_missing of bool * Ident.t | Record_representation of bool + | Unboxed_representation of bool | Immediate val value_descriptions: |