diff --git a/racket/collects/racket/contract/private/misc.rkt b/racket/collects/racket/contract/private/misc.rkt index 295f768418..f2f0a225da 100644 --- a/racket/collects/racket/contract/private/misc.rkt +++ b/racket/collects/racket/contract/private/misc.rkt @@ -564,7 +564,7 @@ (raise-listof-blame-error blame val (pe-listof-ctc? ctc) #f)))]))) (define (listof-val-first-projection ctc) - (define elem-proj (contract-val-first-projection (listof-ctc-elem-c ctc))) + (define elem-proj (get/build-val-first-projection (listof-ctc-elem-c ctc))) (define pred? (if (pe-listof-ctc? ctc) list? non-empty-list?))