And in the "upstream" source that Charles downloaded, the problem also happens with
gnatmake integer_indexed_io-debug.ads -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]