Searched refs:line_highlight (Results 1 – 1 of 1) sorted by relevance
526 const char *line_highlight = ""; in PrintInstructions() local528 line_highlight = "->"; in PrintInstructions()530 line_highlight = "**"; in PrintInstructions()534 line_highlight, &strm); in PrintInstructions()