* Licence details can be found in the file COPYING.
*
* Full author contact details are available in file CREDITS.
+ *
+ * Inspired by Dietmar Kuehl's prefix iostreams found on
+ * http://www.inf.uni-konstanz.de/~kuehl/
*/
#include <config.h>
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;
}