From 92172beb30b225a6990d6487ebf3e2810831657c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 2 Oct 2020 02:02:01 +0100
Subject: [PATCH] Remove space

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

diff --git a/thesis.tex b/thesis.tex
index 95b09d3..6866eb9 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2262,7 +2262,7 @@ string.
     \sessionmgr : \Record{\User; \UnitType \to \alpha \eff \EnvE} \to \alpha\\
     \sessionmgr~\Record{user;m} \defas
       \environment\,\langle{}user;(\lambda\Unit.
-         \ba[t]{@{~}l}
+         \ba[t]{@{}l}
            \Handle\;m\,\Unit\;\With\\
              ~\ba{@{~}l@{~}c@{~}l}
                 \Return\;res &\mapsto& res\\