Replace procedure end with return

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}