------- Additional Comments From bangerth at dealii dot org 2003-11-20 16:31 ------- Volker: How do the two code snippets differ? I think one should be different from the other, right? W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13127