From 8f1fd5718b1cf39dc77ea4fc3a0838e71f7cbefb Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Fri, 2 Dec 2022 14:21:06 +0100
Subject: [PATCH] Correction based on
 https://github.com/dart-lang/language/issues/2679

---
 specification/dartLangSpec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 380f69ca0..c1ef33bfe 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -8046,7 +8046,7 @@ \subsubsection{The Instantiation to Bound Algorithm}
 \TYPEDEF{} Inv<X> = X \FUNCTION(X);
 \CLASS{} B<Y \EXTENDS{} num, Z \EXTENDS{} Inv<Y>{}> \{\}
 \\
-B b; // \comment{The raw B means} B<num, Inv<num>{}>.
+\LATE{} B b; // \comment{The raw B means} B<num, Inv<num>{}>.
 \end{dartCode}
 
 \commentary{%