aboutsummaryrefslogtreecommitdiffstats
path: root/doc/ccomp.1
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2018-08-21 15:44:43 +0200
committerMichael Schmidt <github@mschmidt.me>2018-08-21 15:44:43 +0200
commit91fc4dd14ed1650c9c84d2163d1d63e2ba5c7ce2 (patch)
treeb47e249b5c111f2281554ac44d0e2bcc75d5a7a1 /doc/ccomp.1
parentcb03c522fce28f600e25e6d9e20768bce89f83e2 (diff)
downloadcompcert-kvx-91fc4dd14ed1650c9c84d2163d1d63e2ba5c7ce2.tar.gz
compcert-kvx-91fc4dd14ed1650c9c84d2163d1d63e2ba5c7ce2.zip
Document new named warning for flexible arrays, bug 23324
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r--doc/ccomp.12
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1
index 4e13681e..f329edab 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -385,7 +385,7 @@ Enabled by default.
.sp
\fIflexible\-array\-extensions\fP:
Use of structs with flexible arrays nexted within structs or arrays.
-Enabled by default.
+Disabled by default.
.sp
\fIgnu\-empty\-struct\fP:
GNU extension for empty structs.