diff options
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. |