Skip to content

Commit 581e7c5

Browse files
committed
Correction based on #2679
1 parent 14efbe8 commit 581e7c5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

specification/dartLangSpec.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8045,7 +8045,7 @@ \subsubsection{The Instantiation to Bound Algorithm}
80458045
\TYPEDEF{} Inv<X> = X \FUNCTION(X);
80468046
\CLASS{} B<Y \EXTENDS{} num, Z \EXTENDS{} Inv<Y>{}> \{\}
80478047
\\
8048-
B b; // \comment{The raw B means} B<num, Inv<num>{}>.
8048+
\LATE{} B b; // \comment{The raw B means} B<num, Inv<num>{}>.
80498049
\end{dartCode}
80508050

80518051
\commentary{%

0 commit comments

Comments
 (0)