diff src/ov-cell.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 ea583bc68959
line wrap: on
line diff
--- a/src/ov-cell.h	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/ov-cell.h	Wed Feb 02 10:26:25 2000 +0000
@@ -74,11 +74,11 @@
 
   bool is_constant (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: