From 5e602afb68495cab076776a9988497cfbecdc4e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Tue, 13 Oct 2020 00:41:09 +0100
Subject: [PATCH] Rewording

---
 thesis.tex | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index bf619e8..6994699 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2780,11 +2780,11 @@ invocation of $\Interrupt$ along side $\Write$.
   \el
 \]
 %
-The effect row must necessarily mention the $\Interrupt$ operation. As
-a consequence this approach is not backwards compatible, since the
-original definition of $\echo$ can be used in a context that prohibits
-occurrences of $\Interrupt$. Clearly, this alternative definition
-cannot be applied in such a context.
+In addition to $\Write$ the effect row must now necessarily mention
+the $\Interrupt$ operation. As a consequence this approach is not
+backwards compatible, since the original definition of $\echo$ can be
+used in a context that prohibits occurrences of $\Interrupt$. Clearly,
+this alternative definition cannot be applied in such a context.
 
 \subsection{State: file i/o}
 \label{sec:tiny-unix-io}