Skip to content

Commit bd37ac1

Browse files
committed
Typo fix: mention that L_M != L_C
1 parent f8dc8ff commit bd37ac1

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

specification/dartLangSpec.tex

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5519,7 +5519,8 @@ \subsection{Mixin Application}
55195519
Let \DefineSymbol{L_M} be the library containing the declaration of $M$.
55205520

55215521
\LMHash{}%
5522-
Assume that $S$ has a concrete member $m_S$ which is accessible to $L_M$,
5522+
Assume that $L_C$ and $L_M$ is not the same library,
5523+
that $S$ has a concrete member $m_S$ which is accessible to $L_M$,
55235524
that $m_S$ has the name $n$ which is private
55245525
(\commentary{so $m_S$ is declared in $L_M$}),
55255526
and that $M$ declares a member $m_M$ which is also named $n$

0 commit comments

Comments
 (0)