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