diff --git a/collects/racket/contract/private/prop.rkt b/collects/racket/contract/private/prop.rkt index fd07407ca1..64a122b2cb 100644 --- a/collects/racket/contract/private/prop.rkt +++ b/collects/racket/contract/private/prop.rkt @@ -192,7 +192,7 @@ (λ (v) (let ([v* (p v)]) (unless (chaperone-of? v* v) - (error "expected a chaperone of ~v, got ~v" v v*)) + (error 'prop:chaperone-contract (format "expected a chaperone of ~v, got ~v" v v*))) v*))))))) (define build-chaperone-contract-property