Synopsis: bad formatting of warning message
State-Changed-From-To: open->feedback
State-Changed-By: rodrigc
State-Changed-When: Tue Jun 12 20:17:06 2001
State-Changed-Why:
Do you have preprocessed source which can reproduce this
problem?
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=712&database=gcc