diff options
Diffstat (limited to 'typing/includecore.ml')
| -rw-r--r-- | typing/includecore.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/includecore.ml b/typing/includecore.ml index 9a8c941473..a59d566013 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -68,8 +68,7 @@ let type_declarations env id decl1 decl2 = (ty2::decl2.type_params) | (None, Some ty2) -> let ty1 = - Btype.newgenty (Tconstr(Pident id, decl2.type_params, ref Mnil)) - in + Btype.newgenconstr (Pident id) decl2.type_params decl2.type_arity in Ctype.equal env true decl1.type_params decl2.type_params && Ctype.equal env false [ty1] [ty2] end && |