diff options
Diffstat (limited to 'print/cpp2latex')
-rw-r--r-- | print/cpp2latex/files/patch-main.cpp | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/print/cpp2latex/files/patch-main.cpp b/print/cpp2latex/files/patch-main.cpp new file mode 100644 index 000000000000..6a9785b0b336 --- /dev/null +++ b/print/cpp2latex/files/patch-main.cpp @@ -0,0 +1,28 @@ +--- cpp2latex/main.cpp.orig Mon Jun 11 14:14:19 2001 ++++ cpp2latex/main.cpp Tue Nov 26 19:32:41 2002 +@@ -25,6 +25,14 @@ + #include <fstream> + #include <vector> + ++using std::cerr; ++using std::cout; ++using std::endl; ++using std::getline; ++using std::ifstream; ++using std::string; ++using std::vector; ++ + struct replace{ + string voraus; + string ersetzt; +@@ -87,8 +95,8 @@ + cerr<<" Skipping "<<skip<<" lines."<<endl; + for(int i=0; i<skip; i++) + { +- char* tmp; +- file.gets( &tmp ); ++ string line; ++ getline( file, line ); + } + + // Tabspace setzen |