From 265e6d6a27eebbcafbd73f0da76e516a139f21d1 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sat, 4 Jul 2026 22:29:49 +0200
Subject: Allow empty statements

---
 doc/language.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/language.tex')

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.
-- 
cgit v1.2.3

