From e5fd7e504d4f20597675bb5def7271bc36f014cb Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 29 Sep 2014 15:41:51 -0400 Subject: [PATCH] Revert "Revert "fix a bug in f669c47c1"" This reverts commit 2e29a180397be476a6e5647d43291a8f05391943. Reverted the wrong commit. --- racket/collects/racket/contract/private/misc.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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?))