chiark / gitweb /
Use `%option nounput' rather than #define YY_NO_UNPUT.