--On Monday, July 15, 2002 10:10:02 PM +0200 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE> wrote: > http://gcc.gnu.org/ml/gcc-patches/2002-07/msg00594.html This is OK. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com