diff src/pt.cc @ 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 096ad38d7ab5
line wrap: on
line diff
--- a/src/pt.cc
+++ b/src/pt.cc
@@ -41,7 +41,7 @@
 string
 tree::str_print_code (void)
 {
-  ostrstream buf;
+  std::ostrstream buf;
 
   tree_print_code tpc (buf);
 
@@ -51,7 +51,7 @@
 
   const char *s = buf.str ();
 
-  string retval = s;
+  std::string retval = s;
 
   delete [] s;