remove @history for flat contracts #:exercise

Remove the history annotation on `build-flat-contract` property
 about removing the `#:exercise` keyword.

Because the keyword wasn't actually removed from the function,
 only from the (incorrect) documentation. So there aren't any
 legal programs that depend on the removed keyword argument.
This commit is contained in:
Ben Greenman 2017-04-09 11:36:06 -04:00
parent 459a74455c
commit 50f67cf6e4

View File

@ -2833,10 +2833,7 @@ arguments as @racket[build-contract-property]. The differences are:
@history[#:changed "6.0.1.13" @list{Added the @racket[#:list-contract?] argument.}
#:changed "6.1.1.4"
@list{Allow @racket[generate] to return @racket[contract-random-generate-fail].}
#:changed "6.8.0.2"
@list{Removed the @racket[#:exercise] keyword argument from
@racket[build-flat-contract-property].}]
@list{Allow @racket[generate] to return @racket[contract-random-generate-fail].}]
}
@deftogether[(