Searched refs:line_highlight (Results 1 – 1 of 1) sorted by relevance
519 const char *line_highlight = ""; in PrintInstructions() local521 line_highlight = "->"; in PrintInstructions()523 line_highlight = "**"; in PrintInstructions()526 ln.file, ln.line, ln.column, 0, 0, line_highlight, &strm); in PrintInstructions()