Don't generate input() since it's not used.

This commit is contained in:
Rebecca Cran 2010-11-22 12:33:48 +00:00
parent abe80e1272
commit 09c7c81c16

View File

@ -38,6 +38,7 @@
int lineno = 1;
#define YY_NO_UNPUT
#define YY_NO_INPUT
static void
update_lineno(const char *cp)