------- Additional Comments From work at paul dot dubuc dot org 2004-11-29 14:41 ------- OK. I wondered if the change was really as easy as it looked. Thanks for looking into this, Paolo. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18633