remove extraneous ?

This commit is contained in:
Robby Findler 2016-01-06 15:37:01 -06:00
parent d04dfb67df
commit 8b4f8541c3

View File

@ -2290,8 +2290,8 @@ the other; both are provided for convenience and clarity.
Returns @racket[#t] when @racket[b] does not have both parties.
}
@defproc[(blame-add-missing-party? [b (and/c blame? blame-missing-party?)]
[missing-party any/c])
@defproc[(blame-add-missing-party [b (and/c blame? blame-missing-party?)]
[missing-party any/c])
(and/c blame? (not/c blame-missing-party?))]{
Produces a new blame object like @racket[b], except that the missing
party is replaced with @racket[missing-party].