diff --git a/collects/scribblings/reference/cmdline.scrbl b/collects/scribblings/reference/cmdline.scrbl index bdf5ab8833..34f130b9d2 100644 --- a/collects/scribblings/reference/cmdline.scrbl +++ b/collects/scribblings/reference/cmdline.scrbl @@ -12,7 +12,7 @@ flag-clause ... finish-clause) ([optional-name-expr code:blank - (code:line #:name name-expr)] + (code:line #:program name-expr)] [optional-argv-expr code:blank (code:line #:argv argv-expr)] [flag-clause (code:line #:multi flag-spec ...)