Synopsis: Hello State-Changed-From-To: open->closed State-Changed-By: neil State-Changed-When: Fri Sep 7 09:54:33 2001 State-Changed-Why: Not a PR http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4233&database=gcc