diff options
Diffstat (limited to 'src/include/utils/help_config.h')
| -rw-r--r-- | src/include/utils/help_config.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/utils/help_config.h b/src/include/utils/help_config.h index b569a4edad8..61e04e95697 100644 --- a/src/include/utils/help_config.h +++ b/src/include/utils/help_config.h @@ -12,6 +12,6 @@ #ifndef HELP_CONFIG_H #define HELP_CONFIG_H 1 -extern int GucInfoMain(void); +extern void GucInfoMain(void) __attribute__((noreturn)); #endif |