Searched refs:previous_line (Results 1 – 1 of 1) sorted by relevance
375 SourceLine previous_line; in PrintInstructions() local455 if (this_line != previous_line) { in PrintInstructions()474 SourceLine previous_line; in PrintInstructions() local475 previous_line.file = this_line.file; in PrintInstructions()476 previous_line.line = previous_lines[i]; in PrintInstructions()477 auto pos = source_lines_seen.find(previous_line.file); in PrintInstructions()479 pos->second.insert(previous_line.line); in PrintInstructions()481 source_lines_to_display.lines.push_back(previous_line); in PrintInstructions()501 previous_line = this_line; in PrintInstructions()