diff src/pt.cc @ 4051:b79da8779a0e

[project @ 2002-08-17 19:38:32 by jwe]
author jwe
date Sat, 17 Aug 2002 19:38:33 +0000
parents ae32674080b0
children 6e86256e9c54
line wrap: on
line diff
--- a/src/pt.cc	Sat Aug 17 02:18:18 2002 +0000
+++ b/src/pt.cc	Sat Aug 17 19:38:33 2002 +0000
@@ -29,9 +29,10 @@
 #endif
 
 #include <iostream>
-#include <strstream>
 #include <string>
 
+#include "lo-sstream.h"
+
 #include "pt.h"
 #include "pt-pr-code.h"
 
@@ -53,19 +54,17 @@
 std::string
 tree::str_print_code (void)
 {
-  std::ostrstream buf;
+  OSSTREAM buf;
 
   tree_print_code tpc (buf);
 
   accept (tpc);
 
-  buf << std::ends;
-
-  const char *s = buf.str ();
+  buf << OSSTREAM_ENDS;
 
-  std::string retval = s;
+  std::string retval = OSSTREAM_STR (buf);
 
-  delete [] s;
+  OSSTREAM_FREEZE (buf);
 
   return retval;
 }