From cec613b875a81f57cd0402cfcbe055916536548d Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Wed, 27 Mar 2024 01:55:19 +0100
Subject: [PATCH] Fix

---
 introduction.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/introduction.tex b/introduction.tex
index 72e17bf..46049ea 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -460,7 +460,7 @@ We tried to skip capture conversion and the capture constraints entirely.
 But \letfj{}'s type system does not imply a principal typing for methods \cite{principalTypes}.
 The problem is that a principal type of a method should have the most general parameter types and the most specific return type.
 \begin{lstlisting}[caption=Return type depends on argument types,label=principalTypeExample]
-class SpecialPair2<X, Y extends X> extends Pair<X,Y>{}
+class SpecialPair<X, Y extends X> extends Pair<X,Y>{}
 
 
 <X,Y> Pair<X,Y> id(Pair<X,Y> in){