diff --git a/collects/racket/contract/private/guts.rkt b/collects/racket/contract/private/guts.rkt index 721960681f..2905a7f695 100644 --- a/collects/racket/contract/private/guts.rkt +++ b/collects/racket/contract/private/guts.rkt @@ -305,10 +305,10 @@ (build-flat-contract-property #:first-order (λ (ctc) + (define reg (regexp/c-reg ctc)) (λ (x) (and (or (string? x) (bytes? x)) - (regexp-match (regexp/c-reg ctc) x) - #t))) + (regexp-match? reg x)))) #:name (λ (ctc) (regexp/c-reg ctc)) #:stronger (λ (this that)