From cce9bf31db1d57fa04c1f5fa392f88a28fe2d864 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Tue, 5 Jun 2018 09:29:32 +0200 Subject: bug 23325, document changed default for c11 named warning --- doc/ccomp.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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. -- cgit