diff --git a/merkzettel.pdf b/merkzettel.pdf
index d2c5758..4a415f2 100644
Binary files a/merkzettel.pdf and b/merkzettel.pdf differ
diff --git a/merkzettel.tex b/merkzettel.tex
index 7d013ba..a976ccf 100644
--- a/merkzettel.tex
+++ b/merkzettel.tex
@@ -201,7 +201,6 @@ f_1 \times f_2 &= \langle f_1 \circ\pi_1, f_2\circ\pi_2\rangle\\
 	\end{align*}
 	\item Wenn $R$ eine Bisimulation ist, gilt $sRt \Rightarrow s=t$ \satz{4.40}{74}
 \end{itemize}
-\subsection*{Kodatentypen mit Alternativen}
 \section*{System F}
 \subsection*{Curry}
 \begin{itemize}