Fix an error causing us to use the wrong names for yyget_extra(), yyset_extra(), yyget_lineno() and yyget_text()

git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@5089 4a71c877-e1ca-e34f-864e-861f7616d084
master
Giel van Schijndel 2008-05-12 19:40:53 +00:00
parent 787d3ad581
commit f8e4607093
1 changed files with 4 additions and 4 deletions

View File

@ -50,10 +50,10 @@
* (and neither define a subminor version) * (and neither define a subminor version)
*/ */
#if !defined(YY_FLEX_SUBMINOR_VERSION) || (YY_FLEX_SUBMINOR_VERSION < 9) #if !defined(YY_FLEX_SUBMINOR_VERSION) || (YY_FLEX_SUBMINOR_VERSION < 9)
# define yyget_extra res_get_extra # define yyget_extra strres_get_extra
# define yyset_extra res_set_extra # define yyset_extra strres_set_extra
# define yyget_lineno res_get_lineno # define yyget_lineno strres_get_lineno
# define yyget_text res_get_text # define yyget_text strres_get_text
extern void yyset_extra(YY_EXTRA_TYPE user_defined); extern void yyset_extra(YY_EXTRA_TYPE user_defined);
extern YY_EXTRA_TYPE yyget_extra(void); extern YY_EXTRA_TYPE yyget_extra(void);
extern int yyget_lineno(void); extern int yyget_lineno(void);