Next: No_Implementation_Restrictions, Previous: No_Implementation_Identifiers, Up: Program Unit Level Restrictions
[RM 13.12.1] This restriction checks at compile time that no GNAT-defined pragmas are present. With this restriction, the only pragmas that can be used are those defined in the Ada Reference Manual.