From af7cc2dcb86cbb9d1f2991812e1716b6a35d3449 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Mon, 19 Feb 2007 00:49:16 +0000
Subject: [PATCH] fix Carette's bug 2007-02-18

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 typing/ctype.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typing/ctype.ml b/typing/ctype.ml
index ed87d324d..878882501 100644
--- 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