Searched defs:push_prefix (Results 1 – 2 of 2) sorted by relevance
331 const char *push_prefix = "+--> "; in print_path_summary_as_text() local
335 const char *push_prefix = "+--> "; in print() local