diff src/ov-file.cc @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents d14c483b3c12
children 7690958e7726
line wrap: on
line diff
--- a/src/ov-file.cc
+++ b/src/ov-file.cc
@@ -55,14 +55,14 @@
 }
 
 void
-octave_file::print (ostream& os, bool) const
+octave_file::print (std::ostream& os, bool) const
 {
   print_raw (os);
   newline (os);
 }
 
 void
-octave_file::print_raw (ostream& os, bool) const
+octave_file::print_raw (std::ostream& os, bool) const
 {
   indent (os); os << "{"; newline (os);
 
@@ -70,11 +70,11 @@
     {
       increment_indent_level ();
 
-      string name = stream.name ();
-      string mode = octave_stream::mode_as_string (stream.mode ());
-      string arch
+      std::string name = stream.name ();
+      std::string mode = octave_stream::mode_as_string (stream.mode ());
+      std::string arch
 	= oct_mach_info::float_format_as_string (stream.float_format ());
-      string status = stream.is_open () ? "open" : "closed";
+      std::string status = stream.is_open () ? "open" : "closed";
 
       indent (os); os << "id = " << number; newline (os);
       indent (os); os << "name = " << name; newline (os);
@@ -89,7 +89,7 @@
 }
 
 bool
-octave_file::print_name_tag (ostream& os, const string& name) const
+octave_file::print_name_tag (std::ostream& os, const std::string& name) const
 {
   indent (os);
   os << name << " =";