fix Carette's bug 2007-02-18

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-19 00:49:16 +00:00 · 2007-02-19 00:49:16 +00:00 · af7cc2dcb8
parent 519d6f342a
commit af7cc2dcb8
1 changed files with 1 additions and 1 deletions
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@ -2264,7 +2264,7 @@ let rec eqtype rename type_pairs subst env t1 t2 =
              enter_poly env univar_pairs t1 tl1 t2 tl2
                (eqtype rename type_pairs subst env)
          | (Tunivar, Tunivar) ->
-              unify_univar t1 t2 !univar_pairs
+              unify_univar t1' t2' !univar_pairs
          | (_, _) ->
              raise (Unify [])
        end