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