doc: 'test' -> 'get-first-order'
Fix mistake in previous commit, the argument for `build-contract-property` is different than `make-contract`
This commit is contained in:
parent
c7739a14fd
commit
82d3dba913
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user