(flex.info)Why doesn't yyrestart() set the start state back to INITIAL?
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
automatically generated by info2www version 188.8.131.52