diff src/ov-colon.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-colon.h	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/ov-colon.h	Wed Feb 02 10:26:25 2000 +0000
@@ -69,9 +69,9 @@
 
   bool valid_as_zero_index (void) const { return false; }
 
-  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;
 
 private: