diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2007-02-19 00:49:16 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2007-02-19 00:49:16 +0000 |
| commit | af7cc2dcb86cbb9d1f2991812e1716b6a35d3449 (patch) | |
| tree | 879bc50a891fa0eff219ba28e818fc5a283972e7 | |
| parent | 519d6f342a0a29a414c2b4a57cfcb8bc132cc364 (diff) | |
fix Carette's bug 2007-02-18
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 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 |