reopen 669513 thanks The bug is in gnat-4.4. You tested the wrong package.
Cheers, Tobias -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/50bfcb64.50...@debian.org