doc correction

Closes PR 12844
2012-07-02 09:08:05 -06:00 · 2012-07-02 09:08:05 -06:00 · 4ed8a88969
commit 4ed8a88969
parent b5189c8232
1 changed files with 2 additions and 1 deletions
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@ -852,7 +852,8 @@ non-terminals shown with the @racket[_id] form. Each
@racket[clause-datum] is preserved.}


-@defform[(defform*/subs maybe-kind maybe-id maybe-literals [form-datum ...]
+@defform[(defform*/subs maybe-kind maybe-id maybe-literals [form-datum ...+]
+           ([nonterm-id clause-datum ...+] ...)
           maybe-contracts
           pre-flow ...)]{