From 4cf22df58a987c542596864644bfa2cdcb9436fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?=
 <cpitclaudel@users.noreply.github.com>
Date: Mon, 15 Mar 2021 19:00:41 +0000
Subject: [PATCH] Change "there exists valuation" to "there exists a valuation"

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

diff --git a/frap_book.tex b/frap_book.tex
index 16888f2..317c271 100644
--- a/frap_book.tex
+++ b/frap_book.tex
@@ -2032,7 +2032,7 @@ The intuition behind the rules may come best from working out an example.
 \newcommand{\smallsteps}[2]{#1 \to^* #2}
 
 \begin{theorem}
-  There exists valuation $v$ such that $\smallsteps{(\mupd{\mempty}{\mathtt{input}}{2}, \mathtt{factorial})}{(v, \skipe)}$ and $\msel{v}{\mathtt{output}} = 2$.
+  There exists a valuation $v$ such that $\smallsteps{(\mupd{\mempty}{\mathtt{input}}{2}, \mathtt{factorial})}{(v, \skipe)}$ and $\msel{v}{\mathtt{output}} = 2$.
 \end{theorem}
 
 \begin{proof}