diff --git a/grammar/grammar.tex b/grammar/grammar.tex
index c48c93b..ab1663f 100644
--- a/grammar/grammar.tex
+++ b/grammar/grammar.tex
@@ -13,7 +13,7 @@
     \x/ \| \c/
     \alt \e/.\a/ \| \e/.\a/ or \e/
     \alt \p/:\e/ \| \e/ \e/
-    \alt \{ \e/ = \e/ \}
+    \alt \{ \e/ = \e/; \}
     \alt with \e/; \e/
     \alt (\e/ $\bm{\in}$ \t/) ? \e/ : \e/
     \alt let \x/ = \e/; $\cdots{}$; \x/ = \e/; in \e/