diff src/oct-stream.cc @ 3548:ab7fa5a8f23f

[project @ 2000-02-03 01:17:15 by jwe]
author jwe
date Thu, 03 Feb 2000 01:17:21 +0000
parents 6dfdded73a7e
children 41daa489833a
line wrap: on
line diff
--- a/src/oct-stream.cc
+++ b/src/oct-stream.cc
@@ -1130,7 +1130,7 @@
 	} \
       else \
 	{ \
-	  ostrstream buf; \
+	  std::ostrstream buf; \
  \
 	  int c = EOF; \
  \
@@ -1171,7 +1171,7 @@
 	} \
       else \
 	{ \
-	  ostrstream buf; \
+	  std::ostrstream buf; \
  \
 	  std::string char_class = elt->char_class; \
  \