# HG changeset patch
# User jwe
# Date 953291434 0
# Node ID b1b831947caa307f955badc3aedf3e27ba2d9345
# Parent  0a93682f89c8b6975320841a3f85589f6ec36af5
[project @ 2000-03-17 11:10:34 by jwe]

diff -r 0a93682f89c8 -r b1b831947caa src/c_file_ptr_stream.h
--- a/src/c_file_ptr_stream.h	Fri Mar 17 11:03:52 2000 +0000
+++ b/src/c_file_ptr_stream.h	Fri Mar 17 11:10:34 2000 +0000
@@ -27,11 +27,11 @@
 #pragma interface
 #endif
 
-#include <iostream.h>
+#include <iostream>
 #include <stdio.h>
 
 class
-c_file_ptr_buf : public streambuf
+c_file_ptr_buf : public std::streambuf
 {
 protected:
 
@@ -41,7 +41,7 @@
 
   FILE* stdiofile (void) const { return f; }
 
-  c_file_ptr_buf (FILE *f_arg) : streambuf (), f (f_arg) { }
+  c_file_ptr_buf (FILE *f_arg) : std::streambuf (), f (f_arg) { }
 
   ~c_file_ptr_buf (void);