Synopsis: bad formatting of warning message
State-Changed-From-To: closed->open
State-Changed-By: rodrigc
State-Changed-When: Mon Aug 20 11:45:23 2001
State-Changed-Why:
New test case submitted
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=712&database=gcc