From f54f4b449dd1328f51381f6213c163e977d5414b Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Mon, 5 Feb 2024 17:15:34 +0100
Subject: [PATCH] Cleanup and fixes

---
 introduction.tex | 8 ++++----
 tRules.tex       | 2 --
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/introduction.tex b/introduction.tex
index 6a57dd3..f2e5fa1 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -61,10 +61,10 @@ Our type inference algorithm has to add let statements surrounding method invoca
       \end{subfigure}
       ~
       \begin{subfigure}[t]{0.49\linewidth}
-    \begin{lstlisting}[style=tfgj]
-    List<? super Integer> ls = ...;
-    ls.add(new Integer());
-    \end{lstlisting}
+\begin{lstlisting}[style=tfgj]
+List<? super Integer> ls = ...;
+let x : (*@ $\wctype{\wildcard{X}{\texttt{Object}}{\texttt{Integer}}}{List}{\rwildcard{X}}$ @*) = ls in ls.add(new Integer());
+\end{lstlisting}
         \caption{Capture Conversion by \texttt{let}-statement}
         \label{fig:intro-example-typed}
       \end{subfigure}
diff --git a/tRules.tex b/tRules.tex
index f047468..d05ea00 100644
--- a/tRules.tex
+++ b/tRules.tex
@@ -21,8 +21,6 @@ $
 Each class type has a set of wildcard types $\overline{\Delta}$ attached to it.
 The type $\wctype{\overline{\Delta}}{C}{\ol{T}}$ defines a set of wildcards $\overline{\Delta}$,
 which can be used inside the type parameters $\ol{T}$.
-It is important that each wildcard declaration $\wildcard{X}{T}{L}$ is unique.
-
 
 \section{Type rules}