recognize(entry,0); return(ABORT);
/* error */
case 999:
- fprintf(stderr,"error: symbol '%c' should not occur as %d'th symbol of: \n%s\n",
+ printf("error: symbol '%c' should not occur as %d'th symbol of: \n%s\n",
c,bufptr, buffer);
return(ABORT);
}