From e9cd4315be4be50a76227adcae401015140b4b62 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 17 Feb 2021 18:04:05 +0000
Subject: [PATCH] Spacing.

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

diff --git a/thesis.tex b/thesis.tex
index fdbb5a4..7a78af5 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -6333,7 +6333,7 @@ that allow us to redefine the target of $\Write$ operations locally.
         \ba[t]{@{}l}
         \Let\;ino \revto \Case\;\Do\;\UCreate~fname\;\{
           \ba[t]{@{~}l@{~}c@{~}l}
-            \None &\mapsto& \exit\,1\\
+            \None &\mapsto& \exit~1\\
             \Some~ino &\mapsto& ino\}
           \ea\\
           \In\;\Handle\;m\,\Unit\;\With\\