Fix a TR internal error

2013-08-01 16:37:58 -04:00 · 2013-08-01 16:37:58 -04:00 · 1468575c3d
commit 1468575c3d
parent e0f3876e8c
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
@ -107,7 +107,7 @@
                      (if tail-bound (cons tail-ty tail-bound) #f)))
  (cond
    [(null? doms)
-     (int-err "How could doms be null: ~a ~a" ty)]
+     (int-err "How could doms be null: ~a" ty)]
    [(and (= 1 (length doms)) (not (car rests)) (not (car drests)) (not tail-ty) (not tail-bound))
     (tc-error/expr
      #:return return