diff options
Diffstat (limited to 'src/backend/utils')
| -rw-r--r-- | src/backend/utils/misc/guc-file.l | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/backend/utils/misc/guc-file.l b/src/backend/utils/misc/guc-file.l index b2f04e512a9..c5e0fac4671 100644 --- a/src/backend/utils/misc/guc-file.l +++ b/src/backend/utils/misc/guc-file.l @@ -47,9 +47,6 @@ static sigjmp_buf *GUC_flex_fatal_jmp; static void FreeConfigVariable(ConfigVariable *item); -/* flex fails to supply a prototype for yylex, so provide one */ -int GUC_yylex(void); - static int GUC_flex_fatal(const char *msg); static char *GUC_scanstr(const char *s); |