Correction based on #2679

dart-lang · Dec 2, 2022 · 581e7c5 · 581e7c5
1 parent 14efbe8
commit 581e7c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -8045,7 +8045,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{%