------- Comment #2 from bangerth at dealii dot org 2007-01-29 01:15 -------
In fact, after minor code changes, I can no longer reproduce the exact
sources that triggered this. I'll close it for the moment, and try
again if the problem should re-appear at one point...
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |WORKSFORME
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30602
