------- Comment #3 from hjl at lucon dot org 2007-10-21 21:41 ------- I believe all those header files should be restored unless we have a very good reason to break libstdc++ API. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33831