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 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 |