Fix missing argument.

Closes PR 12356.
2011-11-11 14:15:45 -05:00 · 2011-11-11 14:15:45 -05:00 · 5fe89966fc
commit 5fe89966fc
parent d6bd1dc904
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*))