From 4a79664b8fecdc36503fb8d82387a54d9859753c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Tue, 31 Mar 2020 12:35:38 +0100
Subject: [PATCH] Fix compilation bug

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

diff --git a/thesis.tex b/thesis.tex
index d33ad40..70b13f8 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -769,7 +769,7 @@ Values
 % unit : ()
   \inferrule*[Lab=\tylab{Unit}]
     { }
-    {\typv{\Delta;\Gamma}{\Record{} : \UnitType}}}
+    {\typv{\Delta;\Gamma}{\Record{} : \UnitType}}
 
 % Extension
   \inferrule*[Lab=\tylab{Extend}]