tiny bug in eqtype

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 01:46:48 +00:00 · 2000-08-10 01:46:48 +00:00 · d23a489fb1
parent feefbdb04d
commit d23a489fb1
1 changed files with 1 additions and 1 deletions
--- 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