equal
deleted
inserted
replaced
234 static char *yy_c_buf_p = (char *) 0; |
234 static char *yy_c_buf_p = (char *) 0; |
235 static int yy_init = 1; /* whether we need to initialize */ |
235 static int yy_init = 1; /* whether we need to initialize */ |
236 static int yy_start = 0; /* start state number */ |
236 static int yy_start = 0; /* start state number */ |
237 |
237 |
238 /* Flag which is used to allow yywrap()'s to do buffer switches |
238 /* Flag which is used to allow yywrap()'s to do buffer switches |
239 * instead of setting up a fresh yyin. A bit of a hack ... |
239 * instead of setting up a fresh yyin. |
240 */ |
240 */ |
241 static int yy_did_buffer_switch_on_eof; |
241 static int yy_did_buffer_switch_on_eof; |
242 |
242 |
243 void yyrestart YY_PROTO(( FILE *input_file )); |
243 void yyrestart YY_PROTO(( FILE *input_file )); |
244 |
244 |