aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--manual/CHAPTER_TextRtlil.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex
index 30ddaafd3..e84235398 100644
--- a/manual/CHAPTER_TextRtlil.tex
+++ b/manual/CHAPTER_TextRtlil.tex
@@ -102,7 +102,7 @@ Note that in general, statements are terminated by an end of line.
A module consists of zero or more module statements.
\begin{indentgrammar}{<module-stmt>}
-<module> ::= "module" <id> <eol> <module-stmt>$*$
+<module> ::= "module" <id> <eol> <module-stmt>$*$ "end" <eol>
<module-stmt> ::=
<param-stmt>