From 798a7f2a3c2189f14cc99143143be86c4eb0b2b5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 13 May 2010 17:43:50 -0400 Subject: [PATCH] fix typo --- collects/typed-scheme/typecheck/tc-app.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index e90650c9a3..08ec770735 100644 --- 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)