diff options
| -rw-r--r-- | typing/includecore.ml | 2 | ||||
| -rw-r--r-- | typing/includecore.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/typing/includecore.ml b/typing/includecore.ml index 33be67732..2d4e42a63 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -98,7 +98,7 @@ let vars vars1 vars2 = encode_val v2 vl2)) vars2 ([], []) -let class_type env d1 d2 = +let class_types env d1 d2 = (* Same abbreviations *) Ctype.equal env true (d1.cty_self::d1.cty_params) (d2.cty_self::d2.cty_params) diff --git a/typing/includecore.mli b/typing/includecore.mli index 93fac54b9..c426ad8fb 100644 --- a/typing/includecore.mli +++ b/typing/includecore.mli @@ -24,5 +24,5 @@ val type_declarations: Env.t -> Ident.t -> type_declaration -> type_declaration -> bool val exception_declarations: Env.t -> exception_declaration -> exception_declaration -> bool -val class_type: +val class_types: Env.t -> class_type -> class_type -> bool |