--- Comment #1 from dominiq at lps dot ens dot fr 2008-10-07 16:03 ---
The problem is no longer here at revision 140915. It had probably the same
origin as pr37747 and can be closed at the same time.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37748
--- Comment #2 from jakub at gcc dot gnu dot org 2008-10-07 19:16 ---
Fixed.
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
CC||pinskia at gcc dot gnu dot
|