--- Geert Bosch <bosch@gnat.com> wrote: > responsibility. Could you file a GNATS bug report for this? Just did this: ada/10670 Is this all the info you need? Note, that I've created a maybe related PR: ada/10671 __________________________________ Do you Yahoo!? The New Yahoo! Search - Faster. Easier. Bingo. http://search.yahoo.com