------- Additional Comments From bangerth at dealii dot org 2004-02-19 00:37 ------- Looking at my logfiles: I believe this bug has been introduced in the last two to three days. Maybe someone can figure out which patch this was. W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14199