Fix missing argument.

Closes PR 12356. original commit: 5fe89966fcd7887223d8131e42f4b151de46d799
2011-11-11 14:15:45 -05:00 · 2011-11-11 14:15:45 -05:00 · 9d81fc2593
commit 9d81fc2593
parent 94a2c5211d
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-racket/infer/infer-unit.rkt
+++ b/collects/typed-racket/infer/infer-unit.rkt
@ -391,7 +391,7 @@
          [((Name: n) (Name: n*))
           (if (free-identifier=? n n*)
               null
-               (let ((rn (resolve-once S)) (rn* (resolve-once)))
+               (let ((rn (resolve-once S)) (rn* (resolve-once T)))
                (if (and rn rn*) (cg rn rn*) (fail! S T))))]
          ;; pairs are pointwise
          [((Pair: a b) (Pair: a* b*))