diff options
Diffstat (limited to 'typing/typedtree.mli')
| -rw-r--r-- | typing/typedtree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index 54fe7b0c48..9ecf395602 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -390,6 +390,7 @@ and module_expr_desc = | Tmod_structure of structure | Tmod_functor of functor_parameter * module_expr | Tmod_apply of module_expr * module_expr * module_coercion + | Tmod_apply_unit of module_expr | Tmod_constraint of module_expr * Types.module_type * module_type_constraint * module_coercion (** ME (constraint = Tmodtype_implicit) |