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