> ping... am I alone in experiencing this? > > it's still there as of LAST_UPDATED: Fri Nov 21 07:46:56 GMT 2003... Seems to be related to recent non-Ada changes. See e.g. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13142 Arno