From 70f10a2da171dca9a898cf779ea346281fd207a4 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 1 Jun 2021 10:18:19 +1000
Subject: [PATCH] Fix typo

---
 chapters/3_rewriting.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/3_rewriting.tex b/chapters/3_rewriting.tex
index 0ce0326..24a0d0a 100644
--- a/chapters/3_rewriting.tex
+++ b/chapters/3_rewriting.tex
@@ -104,7 +104,7 @@ and where expressions have \mzninline{par} type.
     \alt "let" "{" <item>* "}" "in" <literal>
     \alt "if" <exp> "then" <exp> "else" <exp> "endif"
     \alt "[" <exp> "|" <gen-exp> "where" <exp> "]"
-    \lat <ident>"[" <literal> "]"
+    \alt <ident>"[" <literal> "]"
 
     <item> ::= <param> [ "=" <exp> ]";"
     \alt "tuple(" <type-inst> ["," <type-inst>]* "):" <ident> = "(" <exp> ["," <exp>]* ")";