On Tue, 8 Jan 2013, Philippe Vouters wrote: > If you remember your test case, wouldn't this code in parser.l do the trick: > <<EOF>> { > static int once = 0; > if (once = !once) { > stacktop->line++; > } else if(parser_y_eof()) { > yyterminate(); > } > } That seems to do the trick for me and Antony, but we are still doing some more testing on it. Paul