--- Comment #4 from pault at gcc dot gnu dot org 2009-07-09 17:08 ---
Thanks for the report
Paul
--
pault at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #1 from dominiq at lps dot ens dot fr 2009-07-08 13:28 ---
See pr40591 comments #4 and #5.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40683
--- Comment #2 from pault at gcc dot gnu dot org 2009-07-08 13:29 ---
(In reply to comment #1)
See pr40591 comments #4 and #5.
Indeed! I'll fix it tonight.
Thanks, HJ
Paul
--
pault at gcc dot gnu dot org changed:
What|Removed |Added
