diff --git a/racket/collects/racket/contract.rkt b/racket/collects/racket/contract.rkt index 0cb54b1f11..3ed5a15e27 100644 --- a/racket/collects/racket/contract.rkt +++ b/racket/collects/racket/contract.rkt @@ -19,6 +19,7 @@ contract-random-generate/choose contract-random-generate-fail contract-random-generate-fail? + contract-random-generate-env? contract-exercise get/build-val-first-projection contract-custom-write-property-proc)