From d7bf77fba76d39bf3724ce627a676419a08e1655 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 2 Jul 2012 09:08:05 -0600
Subject: [PATCH] doc correction

Closes PR 12844

original commit: 4ed8a889695c59bfa9deba3fdce616d49e125938
---
 collects/scribblings/scribble/manual.scrbl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl
index 027536db..750530ce 100644
--- 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 ...)]{