Why doesn't yyrestart() set the start state back to INITIAL? ============================================================ There are two reasons. The first is that there might be programs that rely on the start state not changing across file changes. The second is that beginning with 'flex' version 2.4, use of 'yyrestart()' is no longer required, so fixing the problem there doesn't solve the more general problem.