reassign 427107 gnat-4.6 found 427107 4.6.1-5 thanks We now have two distinct assertion failures.
First version with T1 Eq Neq gives: 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:904 Error detected at pak1.ads:1:1 Second version with T1 Eq and T2 Eq gives: 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:910 Error detected at pak2.ads:6:43 -- 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/87fwkhbplo....@free.fr