diff options
Diffstat (limited to 'manual/CHAPTER_TextRtlil.tex')
| -rw-r--r-- | manual/CHAPTER_TextRtlil.tex | 2 |
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> |