------- Comment #12 from manu at gcc dot gnu dot org 2010-03-08 15:59 ------- *** Bug 43285 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6709
- [Bug c++/6709] typeof() cannot be used with th... bangerth at gmail dot com
- [Bug c++/6709] typeof() cannot be used wi... redi at gcc dot gnu dot org
- [Bug c++/6709] typeof() cannot be used wi... redi at gcc dot gnu dot org
- [Bug c++/6709] typeof() cannot be used wi... manu at gcc dot gnu dot org
