------- Comment #7 from bangerth at gmail dot com 2010-06-04 16:36 -------
As the author of the benchmark I can confirm that we apparently forgot
to include the proper header file. So you can call it a defect in 447.dealII.
The question is how to deal with this, of course.
W.
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44416
