From f8c3798cd152f0a8626245fbab4e9105a63880d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Mon, 12 Oct 2020 22:43:28 +0100
Subject: [PATCH] Fix typo

---
 thesis.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index b89bbb9..0a4fb01 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2556,8 +2556,8 @@ William Shakespeare's \emph{The Tragedy of Hamlet, Prince of Denmark},
 Act III, Scene I~\cite{Shakespeare6416} to the file.
 %
 Using $\nondet$ and $\fork$ together with the previously defined
-infrastructure, we can fork the initial process such that we run can
-both of the above computations concurrently.
+infrastructure, we can fork the initial process such that both of the
+above computations are run concurrently.
 %
 \[
   \ba{@{~}l@{~}l}