Fix compilation bug

6 years ago · 4a79664b8f
1 changed files with 1 additions and 1 deletions
--- 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}]