Synopsis: bad formatting of warning message
State-Changed-From-To: feedback->closed
State-Changed-By: rodrigc
State-Changed-When: Sat Jul 28 15:12:19 2001
State-Changed-Why:
Feedback not provided
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=712&database=gcc