reassign 339356 gnat-4.6 found 4.6.1-5 thanks The bug box now refers to 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure atree.adb:794