diff options
Diffstat (limited to 'typing/btype.ml')
| -rw-r--r-- | typing/btype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index 76ec1c4c17..fb7a289a2c 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -330,7 +330,7 @@ let unmark_type_decl decl = let unmark_class_signature sign = unmark_type sign.cty_self; - Vars.iter (fun l (m, t) -> unmark_type t) sign.cty_vars + Vars.iter (fun l (m, v, t) -> unmark_type t) sign.cty_vars let rec unmark_class_type = function |