diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 09:29:32 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 09:29:32 +0200 |
commit | cce9bf31db1d57fa04c1f5fa392f88a28fe2d864 (patch) | |
tree | 5681c8122af3784a04c803ba8dc1d5482e84c408 /doc/ccomp.1 | |
parent | 9cb4707c34ecebb2fa189feae3d0ed212d5d4e99 (diff) | |
download | compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.tar.gz compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.zip |
bug 23325, document changed default for c11 named warning
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 301b0b5f..44fe525e 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -365,7 +365,7 @@ CompCert supports the following warning classes: .sp \fIc11\-extensions\fP: Feature specific to C11. -Enabled by default. +Disabled by default. .sp \fIcompare\-distinct\-pointer\-types\fP: Comparison of different pointer types. |