Control: retitle -1 [Fixed in 4.8] Assert_Failure at atree.adb:886 caused by legal prefixed notation Both triggers produce the expected behaviour with 4.8.2-1: gcc-4.8 -c trigger1.adb gcc-4.8 -c p.ads cannot generate code for file p.ads (package spec) gnatmake: "p.ads" compilation error