PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11160 ------- Additional Comments From bangerth@dealii.org 2003-06-11 21:44 ------- Yes, includes of the standard library are ok. If we can't reproduce things, we can still ask for more. Thanks Wolfgang