diff options
Diffstat (limited to 'doc/language.tex')
| -rw-r--r-- | doc/language.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/language.tex b/doc/language.tex index 36ee877..26d8b48 100644 --- a/doc/language.tex +++ b/doc/language.tex @@ -506,8 +506,8 @@ relations $=$ and $<>$ apply to all types. \begin{grammar} <statement> = <assignment> | <procedure-call> | <defer-statement> - | <label-declaration> | <goto-statement> | - | <while-statement> | <if-statement> | <case-statement>. + | <label-declaration> | <goto-statement> | <while-statement> + | <if-statement> | <case-statement> | $\varepsilon{}$. \end{grammar} Statements denote actions. There are elementary and structured statements. |