This should have been a reference to the already verified contract.

svn: r13780
2009-02-21 18:59:25 +00:00 · 2009-02-21 18:59:25 +00:00 · b2c6dd5b9e
commit b2c6dd5b9e
parent a66ed082fb
1 changed files with 1 additions and 1 deletions
--- a/collects/scheme/private/contract.ss
+++ b/collects/scheme/private/contract.ss
@ -607,7 +607,7 @@ improve method arity mismatch contract violation error messages?
               (define-syntaxes (u ... p ...)
                 (values (make-rename-transformer #'marked-u) ...
                         (make-with-contract-transformer
-                          (quote-syntax ctc)
+                          (quote-syntax ctc-id)
                          (quote-syntax marked-p)
                          (quote-syntax blame-stx)) ...)))))))]
    [(_ #:type type blame (arg ...) #:freevar x c . body)