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