From 1b43aa9aeaac9e3b63ed3e3b1af024ca6646e235 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 2 Jul 2021 12:58:22 -0400
Subject: [PATCH] Typo in function definition

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

diff --git a/frap_book.tex b/frap_book.tex
index d7fa14a..f27083b 100644
--- a/frap_book.tex
+++ b/frap_book.tex
@@ -5053,7 +5053,7 @@ One simply follows all the edges in the graph determined by a transition system,
 For our object language in this chapter, a good safety property is that commands are \emph{not about to fail}, formalized as:
 \begin{eqnarray*}
   \natf{\mt{Fail}} &=& \bot \\
-  \natf{x \leftarrow c_1; c_x(x)} &=& \natf{c_1} \\
+  \natf{x \leftarrow c_1; c_2(x)} &=& \natf{c_1} \\
   \natf{c_1 || c_2} &=& \natf{c_1} \land \natf{c_2} \\
   \natf{\_} &=& \top
 \end{eqnarray*}