No_Use_Of_Pragma (GNAT Reference Manual) (original) (raw)
Next: Pure_Barriers, Previous: No_Use_Of_Entity, Up: Partition-Wide Restrictions [Contents][Index]
5.1.75 No_Use_Of_Pragma ¶
[RM 13.12.1] This is a standard Ada 2012 restriction that is GNAT defined in earlier versions of Ada.