[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#427107: found 4.6.1-5



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



Reply to: