Searched refs:tripleIndent (Results 1 – 1 of 1) sorted by relevance
519 const char* tripleIndent = " "; in dump() local535 WriteStringToFd(StringPrintf("%s- %s --> %s\n", tripleIndent, toString(state).c_str(), in dump()