From 82d3dba9132a8d923c4db2035fdb867ec86e6cdb Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Wed, 7 Feb 2018 22:46:43 -0500 Subject: [PATCH] doc: 'test' -> 'get-first-order' Fix mistake in previous commit, the argument for `build-contract-property` is different than `make-contract` --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 1604bb4e73..fcc8c07479 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -2814,7 +2814,7 @@ a contract. It is specified in terms of seven properties: ] At least one of the @racket[late-neg-proj], @racket[get-projection], -@racket[val-first-proj], or @racket[test] must be non-@racket[#f]. +@racket[val-first-proj], or @racket[get-first-order] must be non-@racket[#f]. These accessors are passed as (optional) keyword arguments to @racket[build-contract-property], and are applied to instances of the