------- Comment #7 from bangerth at dealii dot org 2007-04-30 20:45 -------
(In reply to comment #2)
> Can we PLEASE make this a fatal error instead of a warning?
I second that, again.
For the record, I am seeing this very same issue several times as well
on my sources. If we don't get this fixed, it'll show up in many people's
codes.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31724
