diff --git a/collects/typed-scheme/typecheck/tc-app-helper.rkt b/collects/typed-scheme/typecheck/tc-app-helper.rkt
index 43d0214f..63ac0f5f 100644
--- a/collects/typed-scheme/typecheck/tc-app-helper.rkt
+++ b/collects/typed-scheme/typecheck/tc-app-helper.rkt
@@ -199,8 +199,6 @@
                                    t])])
                   (subtype rng expected-ty))])))
 
-  ;; original info that the error message would have used
-  ;; kept in case we discard all the cases
   (define orig (map list doms rngs rests drests))
 
   ;; iterate in lock step over the function types we analyze and the parts