Searched refs:saved_line_number (Results 1 – 1 of 1) sorted by relevance
743 int saved_line_number = line_number; in cm_printindex() local952 line_number = saved_line_number; in cm_printindex()