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