diff options
Diffstat (limited to 'typing/env.ml')
| -rw-r--r-- | typing/env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/env.ml b/typing/env.ml index fd46348db8..dc77b54138 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -1163,7 +1163,7 @@ let find_type_expansion path env = | Some body when decl.type_private = Public || decl.type_kind <> Type_abstract || Btype.has_constr_row body -> - (decl.type_params, body, decl.type_expansion_scope) + (decl.type_params, body, decl.type_expansion_scope) (* The manifest type of Private abstract data types without private row are still considered unknown to the type system. Hence, this case is caught by the following clause that also handles |