Re: [Flex-help] 'flex scanner push-back overflow' problem

[Yuriy V. <jnv...@gm...>]

Since you don't need to modify the contents of the input buffer you
could use yyless().