From 5ede30903fa39074f9ecb9fcdaa735c44390b2dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@huawei.com>
Date: Tue, 14 Feb 2023 10:59:29 +0100
Subject: [PATCH] Fix typo

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

diff --git a/thesis.tex b/thesis.tex
index ba42542..76ae5d5 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -17833,7 +17833,7 @@ follows.
 \end{reductions}
 %
 Their capture rules are identical. Both operators abort the current
-continuation upon capture. This is what set $\FelleisenF$ apart from
+continuation upon capture. This is what sets $\FelleisenF$ apart from
 the other composable control operator $\Callcomc$.
 %
 The resume rules of $\FelleisenC$ and $\FelleisenF$ show the