From d3d28e287f1935a25e288ecdbb50060bc4d0de84 Mon Sep 17 00:00:00 2001
From: Robert Baruch <robert.c.baruch@gmail.com>
Date: Sun, 22 Nov 2020 21:08:58 -0800
Subject: [PATCH] Adds missing "end" and eol to module.

---
 manual/CHAPTER_TextRtlil.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>