------- Additional Comments From bangerth at dealii dot org 2004-01-12 17:00 ------- This must have been broken sometime after 2003-12-02 (that's the latest snapshot I presently have on this machine). W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13656