Searched refs:old_cin (Results 1 – 1 of 1) sorted by relevance
348 streambuf* old_cin = ptr_cin->rdbuf(); in sync_with_stdio() local380 delete old_cin; in sync_with_stdio()