From: pimjager <pim@pimjager.nl>
Date: Sun, 19 Jun 2016 12:15:23 +0000 (+0200)
Subject: other small Sem fix
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=fc7d67e34cfe8167110ad44626ada8f55711f029;p=cc1516.git

other small Sem fix
---

diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex
index 67d74db..ce06b91 100644
--- a/deliverables/report/sem.tex
+++ b/deliverables/report/sem.tex
@@ -196,7 +196,7 @@ and accumulating the resulting types, substitutions, etc.
 			&(\texttt{fold } (\rightarrow) \texttt{ } \alpha \texttt{ } \tau^*)
 				\unif \tau^e = \star_2
 			&\star = \star_2 \cdot \star_1
-			&\texttt{fold apfs } \tau^e \textit{ fs}^* = \tau^r
+			&\texttt{fold apfs } \tau^{e \star} \textit{ fs}^* = \tau^r
 		}
 	}
 \end{equation}