------- Additional Comments From bangerth at dealii dot org 2003-11-14 16:50 ------- Confirmed fixed with rth's patch to 12751. Thanks a lot! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12789