summaryrefslogtreecommitdiffstats
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/ref/ref6.tex4
1 files changed, 0 insertions, 4 deletions
diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex
index 0ce94be..7dae88a 100644
--- a/Doc/ref/ref6.tex
+++ b/Doc/ref/ref6.tex
@@ -680,10 +680,6 @@ defined, the set of public names includes all names found in the
module's namespace which do not begin with an underscore character
(\character{_}).
-Names bound by \keyword{import} statements may not occur in
-\keyword{global} statements in the same scope.
-\stindex{global}
-
The \keyword{from} form with \samp{*} may only occur in a module scope.
\kwindex{from}
\stindex{from}