correct inverted sentences

This commit is contained in:
Matthew Butterick 2014-12-04 13:33:34 -08:00 committed by Sam Tobin-Hochstadt
parent a4abf116cb
commit 1e06b936cb

View File

@ -813,8 +813,8 @@ result value meets the contract @racket[c].}
Constructs a @tech{flat contract} from @racket[predicate]. A value Constructs a @tech{flat contract} from @racket[predicate]. A value
satisfies the contract if the predicate returns a true value. satisfies the contract if the predicate returns a true value.
This function is a holdover from before flat contracts could be used This function is a holdover from before predicates could be used
directly as predicates. It exists today for backwards compatibility. directly as flat contracts. It exists today for backwards compatibility.
} }
@ -823,8 +823,8 @@ directly as predicates. It exists today for backwards compatibility.
Extracts the predicate from a flat contract. Extracts the predicate from a flat contract.
This function is a holdover from before flat contracts could This function is a holdover from before flat contracts could be used
be used directly as predicates. It exists today for backwards compatibility. directly as predicates. It exists today for backwards compatibility.
} }