diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index b80ada7e14..8482a7c717 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1143,7 +1143,8 @@ <row> <entry><option>-fwarn-missing-import-lists</option></entry> - <entry>warn when explicit imports lack an import list</entry> + <entry>warn when an import declaration does not explicitly + list all the names brought into scope</entry> <entry>dynamic</entry> <entry><option>-fnowarn-missing-import-lists</option></entry> </row> |