int main(int argc, char *argv[])
{
- TexStream out(std::cout.rdbuf());
+ TexStream out(cout.rdbuf());
char c;
- while (std::cin) {
- if (std::cin.get(c))
+ while (cin) {
+ if (cin.get(c))
out.put(c);
}
- std::cout << "line count: " << out.line() << std::endl;
+ cout << "line count: " << out.line() << endl;
return 0;
}