From 75eb07cee1449b03d3a9886f6e7a7d29b645b634 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 27 May 2021 00:57:03 +0100
Subject: [PATCH] Typo

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

diff --git a/thesis.tex b/thesis.tex
index 2dd203c..3fee75a 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -14598,7 +14598,7 @@ $N'$ such that $N' \approxa \sdtrans{N}$ and $M' \reducesto^+ N'$.
     $N' \approxa \sdtrans{N_\ell[V/p,\lambda y.\EC[\Return\;y]/r]}$ as
     desired.
   \item Inductive step: Assume $admin(\EC')$ and
-    $M'' \approxa \sdtrans{\ShallowHandle\;\EC[\Do\;\ell~V]\;\With\;H}$.
+    $M' \approxa \sdtrans{\ShallowHandle\;\EC[\Do\;\ell~V]\;\With\;H}$.
   \end{enumerate}
 \end{proof}
 % \begin{proof}