diff options
Diffstat (limited to 'doc/appendix.tex')
| -rw-r--r-- | doc/appendix.tex | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/appendix.tex b/doc/appendix.tex index 36bb72a..1e3ba4e 100644 --- a/doc/appendix.tex +++ b/doc/appendix.tex @@ -173,13 +173,12 @@ <procedure-heading> = `(' [<parameter> \{`;' <parameter>\}] `)' <return-declaration>. -<procedure-body> = <constant-part> <variable-part> <statement-part> [`return' <expression>] `end'. +<procedure-body> = <constant-part> <variable-part> <statement-part> `return' [<expression>]. <procedure-declaration> = `proc' <identifier-definition> <procedure-heading> \\ (<procedure-body> | `extern'). <program> = <import-part> <constant-part> <type-part> <variable-part> - \{<procedure-declaration>\} - <statement-part> [`return' <expression>] `end' `.\@'. + \{<procedure-declaration>\} <statement-part> `end' `.\@'. \end{grammar} |