Searched refs:yy_stdinit (Results 1 – 1 of 1) sorted by relevance
854 static char yy_stdinit[] = "FILE *yyin = stdin, *yyout = stdout;"; in readin() local979 outn( yy_stdinit ); in readin()982 outn( yy_stdinit ); in readin()