Searched refs:old_cout_buf (Results 1 – 1 of 1) sorted by relevance
158 std::streambuf* old_cout_buf = cout.rdbuf(file.rdbuf()); in main() local400 cout.rdbuf(old_cout_buf); in main()