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