other small Sem fix

[cc1516.git] / deliverables / report / sem.tex

diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex
index 67d74db..ce06b91 100644 (file)
--- 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}