From 72b54ad278d450c525ead83fffcd4c11523f818c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Mon, 9 Jan 2023 14:45:32 +0000
Subject: [PATCH] Add missing space in 'Evaluationcontexts' in Figure 3.5

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

diff --git a/thesis.tex b/thesis.tex
index 43d4747..01c4e60 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -6673,7 +6673,7 @@ that the binder $x : A$.
   \EC[M] &\reducesto& \EC[N], \hfill\quad \text{if } M \reducesto N \\
 \end{reductions}
 \begin{syntax}
-\slab{Evaluation contexts} &  \mathcal{E} \in \EvalCat &::=& [~] \mid \Let \; x \revto \mathcal{E} \; \In \; N
+\slab{Evaluation~contexts} &  \mathcal{E} \in \EvalCat &::=& [~] \mid \Let \; x \revto \mathcal{E} \; \In \; N
 \end{syntax}
 %
 %\dhil{Describe evaluation contexts as functions: decompose and plug.}