From 837fc516518c2df6fa2ace49309798035cf7878a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 8 Oct 2020 00:27:37 +0100
Subject: [PATCH] fix overflow

---
 thesis.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index d7cee2d..36fa067 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2347,13 +2347,13 @@ $\environment$ handler.
 \[
   \bl
     \sessionmgr : \Record{\User; \UnitType \to \alpha \eff \EnvE} \to \alpha\\
-    \sessionmgr~\Record{user;m} \defas
-      \environment\,\langle{}user;(\lambda\Unit.
+    \sessionmgr\,\Record{user;m} \defas
+      \environment\langle{}user;(\lambda\Unit.
          \ba[t]{@{}l}
            \Handle\;m\,\Unit\;\With\\
              ~\ba{@{~}l@{~}c@{~}l}
                 \Return\;res &\mapsto& res\\
-                \OpCase{\Su}{user'}{resume} &\mapsto& \environment\,\Record{user';resume})\rangle
+                \OpCase{\Su}{user'}{resume} &\mapsto& \environment\Record{user';resume})\rangle
               \ea
          \ea
   \el