------- Additional Comments From bangerth at dealii dot org 2004-01-23 17:54 ------- Thanks, Paolo! This must have been the bug with the shortest turn around time between reporting and fixing! W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13831