Example #1
0
void
output_line_number(void)
{
	char	   *line = hashline_number();

	fprintf(yyout, "%s", line);
	free(line);
}
Example #2
0
void
output_line_number(void)
{
	char	   *line = hashline_number();

	/* output_escaped_str(line); */
	fprintf(yyout, "%s", line);
	free(line);
}