------- 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
------- 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