Fix a ->d contract example in the reference.

This commit is contained in:
Stevie Strickland 2012-04-18 17:41:31 -04:00
parent 0b7674cb06
commit 95d784db84

View File

@ -796,7 +796,7 @@ For example, the contract
(lambda (p)
(procedure-arity-includes? p size)))])
()
number?)]))
[_ number?])]))
]
says that the function @racket[f] accepts a natural number