Skip to content

Commit db4208f

Browse files
opensdhzygoloid
authored andcommitted
[module.reach] Remove impossible private-module-fragment case
1 parent 761a7d5 commit db4208f

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

source/modules.tex

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1005,9 +1005,7 @@
10051005
appears in a translation unit that is
10061006
reachable from $P$,
10071007
and
1008-
either does not appear within a \grammarterm{private-module-fragment}
1009-
or appears in a \grammarterm{private-module-fragment}
1010-
of the module containing $P$.
1008+
does not appear within a \grammarterm{private-module-fragment}.
10111009
\end{itemize}
10121010
\begin{note}
10131011
Whether a declaration is exported has no bearing on whether it is reachable.

0 commit comments

Comments
 (0)