diff options
Diffstat (limited to 'typing/typetexp.ml')
| -rw-r--r-- | typing/typetexp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 0fbc12f1e2..6b3072d738 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -446,7 +446,7 @@ and transl_fields env policy = function [] -> newty Tnil - | {pfield_desc = Pfield_var} as field::_ -> + | {pfield_desc = Pfield_var}::_ -> if policy = Univars then new_pre_univar () else newvar () | {pfield_desc = Pfield(s, e)}::l -> let ty1 = transl_type env policy e in |