diff --git a/collects/racket/contract/region.rkt b/collects/racket/contract/region.rkt
index e73fe96b7f..9557f4e57f 100644
--- a/collects/racket/contract/region.rkt
+++ b/collects/racket/contract/region.rkt
@@ -774,8 +774,7 @@
                                       ...)
                                      new-stx)
                (define-values (ctc-id ...)
-                 (let-syntax ([marked-p (λ (stx) (quote-syntax true-p))] ...)
-                   (values (verify-contract 'with-contract ctc) ...)))
+                 (values (verify-contract 'with-contract ctc) ...))
                (define-syntaxes (p ...)
                  (values (make-external-contracted-id-transformer
                           (quote-syntax true-p)