diff src/ov-file.h @ 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 f9ea3dcf58ee
line wrap: on
line diff
--- a/src/ov-file.h	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/ov-file.h	Wed Feb 02 10:26:25 2000 +0000
@@ -76,11 +76,11 @@
 
   bool is_stream (void) const { return true; }
 
-  void print (ostream& os, bool pr_as_read_syntax = false) const;
+  void print (std::ostream& os, bool pr_as_read_syntax = false) const;
 
-  void print_raw (ostream& os, bool pr_as_read_syntax = false) const;
+  void print_raw (std::ostream& os, bool pr_as_read_syntax = false) const;
 
-  bool print_name_tag (ostream& os, const string& name) const;
+  bool print_name_tag (std::ostream& os, const std::string& name) const;
 
 private: