From 1c7d5ac7cc1dfec8aea0df9de7dac92aaf49f4ac Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Wed, 31 May 2023 16:28:23 +0200
Subject: [PATCH] Correct a typo about closurization

---
 specification/dartLangSpec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 4ba52a49e3..00f95b21cc 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -15274,7 +15274,7 @@ \subsubsection{Instance Method Closurization}
 \LMHash{}%
 Otherwise $T$ is a generic instantiation of a generic class $G$.
 Let $X''_1, \ldots, X''_{s''}$ be the formal type parameters of $G$,
-and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $T$.
+and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $G$.
 Then $T_j$ is a type annotation that denotes
 $[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
 where $S_j$ is the type annotation of the corresponding parameter in $D$.
@@ -15438,7 +15438,7 @@ \subsubsection{Super Closurization}
 \LMHash{}%
 Otherwise $S$ is a generic instantiation of a generic class $G$.
 Let $X''_1, \ldots, X''_{s''}$ be the formal type parameters of $G$,
-and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $S$.
+and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $G$.
 Then $T_j$ is a type annotation that denotes
 $[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
 where $S_j$ is the type annotation of the corresponding parameter in $D$.