diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/backend/utils/misc/guc_tables.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/backend/utils/misc/guc_tables.c b/src/backend/utils/misc/guc_tables.c index a63ea042edf..f5dcb5503a6 100644 --- a/src/backend/utils/misc/guc_tables.c +++ b/src/backend/utils/misc/guc_tables.c @@ -715,11 +715,9 @@ const char *const config_group_names[] = [PRESET_OPTIONS] = gettext_noop("Preset Options"), [CUSTOM_OPTIONS] = gettext_noop("Customized Options"), [DEVELOPER_OPTIONS] = gettext_noop("Developer Options"), - /* help_config wants this array to be null-terminated */ - NULL }; -StaticAssertDecl(lengthof(config_group_names) == (DEVELOPER_OPTIONS + 2), +StaticAssertDecl(lengthof(config_group_names) == (DEVELOPER_OPTIONS + 1), "array length mismatch"); /* |