fix typo

original commit: 798a7f2a3c2189f14cc99143143be86c4eb0b2b5
2010-05-13 17:43:50 -04:00 · 2010-05-13 17:43:50 -04:00 · 597a8151b3
commit 597a8151b3
parent a4717c49ef
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-scheme/typecheck/tc-app.rkt
+++ b/collects/typed-scheme/typecheck/tc-app.rkt
@ -443,7 +443,7 @@
                   (check-below e-t -Nat)
                   (if expected 
                       (check-below (ret (apply Un es)) expected)
-                       (ret (apply (Un es))))]
+                       (ret (apply Un es)))]
                  [(and (integer? ival) (exact? ival) (<= 0 ival (sub1 (length es))))
                   (if expected 
                       (check-below (ret (list-ref es ival)) expected)