From 01e707822f3916bbd6e311ba45d44f90938887c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Mon, 9 Jan 2023 14:42:09 +0000
Subject: [PATCH] Fix typo in T-Let Figure 3.4

---
 thesis.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index 40c5e5b..43d4747 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -6547,9 +6547,9 @@ Computations
 % Let
   \inferrule*[Lab=\tylab{Let}]
     {\typc{\Delta;\Gamma}{M : A}{E} \\
-     \typ{\Delta;\Gamma, x : A}{N : C}
+     \typc{\Delta;\Gamma, x : A}{N : B}{E}
     }
-    {\typ{\Delta;\Gamma}{\Let \; x \revto M\; \In \; N : C}}
+    {\typc{\Delta;\Gamma}{\Let \; x \revto M\; \In \; N : B}{E}}
 \end{mathpar}
 \caption{Typing rules}
 \label{fig:base-language-type-rules}