diff src/pt-const.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 bf6116ca10eb
line wrap: on
line diff
--- a/src/pt-const.h	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/pt-const.h	Wed Feb 02 10:26:25 2000 +0000
@@ -67,10 +67,10 @@
   void maybe_mutate (void)
     { val.maybe_mutate (); }
 
-  void print (ostream& os, bool pr_as_read_syntax = false,
+  void print (std::ostream& os, bool pr_as_read_syntax = false,
 	      bool pr_orig_txt = true);
 
-  void print_raw (ostream& os, bool pr_as_read_syntax = false,
+  void print_raw (std::ostream& os, bool pr_as_read_syntax = false,
 		  bool pr_orig_txt = true);
 
   bool rvalue_ok (void) const
@@ -86,10 +86,10 @@
   // Store the original text corresponding to this constant for later
   // pretty printing.
 
-  void stash_original_text (const string& s)
+  void stash_original_text (const std::string& s)
     { orig_text = s; }
 
-  string original_text (void) const
+  std::string original_text (void) const
     { return orig_text; }
 
 private:
@@ -101,7 +101,7 @@
   octave_value val;
 
   // The original text form of this constant.
-  string orig_text;
+  std::string orig_text;
 
   // No copying!