From 2e29a180397be476a6e5647d43291a8f05391943 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Mon, 29 Sep 2014 12:00:52 -0400 Subject: [PATCH] Revert "fix a bug in f669c47c1" This reverts commit 379ed6b46e1a7d2108ea619f5f2fb74ac9a0609e. Stupid robby experiment --- 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 f2f0a225da..295f768418 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 (get/build-val-first-projection (listof-ctc-elem-c ctc))) + (define elem-proj (contract-val-first-projection (listof-ctc-elem-c ctc))) (define pred? (if (pe-listof-ctc? ctc) list? non-empty-list?))