Synopsis: [Small Correction of PR 3167]
State-Changed-From-To: open->closed
State-Changed-By: rodrigc
State-Changed-When: Thu Jun 14 18:57:39 2001
State-Changed-Why:
Addition to 3167
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3168&database=gcc