Synopsis: Overloading streambuf for ostream doesn't appear to work
State-Changed-From-To: open->closed
State-Changed-By: pme
State-Changed-When: Mon Jul 9 10:55:45 2001
State-Changed-Why:
Submitter reports a mistake in user code; not a bug.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3599&database=gcc