diff options
| -rw-r--r-- | typing/ctype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 3e0c39c9e..1b21baab5 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1697,7 +1697,7 @@ let rec eqtype rename type_pairs subst env t1 t2 = match (t1'.desc, t2'.desc) with (Tvar, Tvar) when rename -> begin try - if List.assq t1' !subst == t2' then raise (Unify []) + if List.assq t1' !subst != t2' then raise (Unify []) with Not_found -> subst := (t1', t2') :: !subst end |