From 684d55fbfc9302a4793b7576fe057f09bfd93184 Mon Sep 17 00:00:00 2001
From: Omar-Hasbini <omar.hasbini@unibas.ch>
Date: Mon, 10 Nov 2025 16:02:00 +0100
Subject: [PATCH] Correct an error in the Grammar on p. 136 / Figure 8.7

---
 book.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book.tex b/book.tex
index b134f62..ea63410 100644
--- a/book.tex
+++ b/book.tex
@@ -16295,7 +16295,7 @@ \section{Remove Complex Operands}
   \gray{\LtupMonadASTPython} \\ \hline
   \LfunMonadASTPython \\
   \begin{array}{rcl}
-     \LangFunANFM{} &::=& \PROGRAM{}{\LS \Def \ldots \Stmt \ldots \RS}
+     \LangFunANFM{} &::=& \PROGRAM{}{\LS \Def \ldots \mainDef \RS}
   \end{array}
 \end{array}
 \]