Searched refs:real_line_number (Results 1 – 1 of 1) sorted by relevance
1322 int real_line_number = line_number; in discard_insertions() local1344 line_number = real_line_number; in discard_insertions()