------- Comment #3 from bkoz at gcc dot gnu dot org  2007-10-18 16:29 -------

Thanks for fixing this Paolo.

-benjamin


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33807

Reply via email to