diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:39:11 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:39:11 +0200 |
commit | 56d269db4a0a8f7d6479d65cf607f00b703b8815 (patch) | |
tree | 6fd1c82f5d8bd50e31760309320f9a6331a05319 /doc/ccomp.1 | |
parent | 7e151ef0a560f9ca93f6605c48a83016f0cdabe7 (diff) | |
download | compcert-56d269db4a0a8f7d6479d65cf607f00b703b8815.tar.gz compcert-56d269db4a0a8f7d6479d65cf607f00b703b8815.zip |
bug 23325, document recently introduced named warnings
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 8db23329..3ebcad14 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -387,7 +387,7 @@ Enabled by default. GNU extension for empty structs. Enabled by default. .sp -\fignored\-attributes\fP: +\fIignored\-attributes\fP: Attribute declarations after definitions. Enabled by default. .sp |