diff src/pt-pr-code.h @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents e5d5848370c9
children 0689afb1d001
line wrap: on
line diff
--- a/src/pt-pr-code.h
+++ b/src/pt-pr-code.h
@@ -40,7 +40,7 @@
 {
 public:
 
-  tree_print_code (ostream& os_arg, const string& pfx = string (),
+  tree_print_code (std::ostream& os_arg, const std::string& pfx = std::string (),
 		   bool pr_orig_txt = true)
     : os (os_arg), prefix (pfx), print_original_text (pr_orig_txt) { }
 
@@ -142,9 +142,9 @@
 
 private:
 
-  ostream& os;
+  std::ostream& os;
 
-  string prefix;
+  std::string prefix;
 
   bool print_original_text;