From 1c69525dc5443669d8f679ea548cd4f8316d31b9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 29 Mar 2021 09:28:33 -0400
Subject: [PATCH] Typo fix

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

diff --git a/frap_book.tex b/frap_book.tex
index c951b6e..49f26ac 100644
--- a/frap_book.tex
+++ b/frap_book.tex
@@ -1302,7 +1302,7 @@ That is, when $p \in \Gamma$, we have $v(p) = \top$; and when $\neg p \in \Gamma
   Given context $\Gamma$ and formula $\phi$, if
   \begin{itemize}
   \item there is no variable $p$ such that both $p \in \Gamma$ and $\neg p \in \Gamma$, and
-  \item for any valuation $v$ compatible with $\Gamma$, we have $\denote{p}v$,
+  \item for any valuation $v$ compatible with $\Gamma$, we have $\denote{\phi}v$,
   \end{itemize}
   then $\Gamma \vdash \phi$.
 \end{lemma}