void output_line_number(void) { char *line = hashline_number(); fprintf(yyout, "%s", line); free(line); }
void output_line_number(void) { char *line = hashline_number(); /* output_escaped_str(line); */ fprintf(yyout, "%s", line); free(line); }