diff options
Diffstat (limited to 'gcc/ada/restrict.ads')
-rw-r--r-- | gcc/ada/restrict.ads | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index f29cb228f5d..0d2f72f350d 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -77,27 +77,27 @@ package Restrict is end record; Unit_Array : constant array (Positive range <>) of Unit_Entry := ( - (No_Asynchronous_Control, "a-astaco"), - (No_Calendar, "a-calend"), - (No_Calendar, "calendar"), - (No_Delay, "a-calend"), - (No_Delay, "calendar"), - (No_Dynamic_Priorities, "a-dynpri"), - (No_Finalization, "a-finali"), - (No_IO, "a-direio"), - (No_IO, "directio"), - (No_IO, "a-sequio"), - (No_IO, "sequenio"), - (No_IO, "a-ststio"), - (No_IO, "a-textio"), - (No_IO, "text_io "), - (No_IO, "a-witeio"), - (No_Task_Attributes, "a-tasatt"), - (No_Streams, "a-stream"), - (No_Unchecked_Conversion, "a-unccon"), - (No_Unchecked_Conversion, "unchconv"), - (No_Unchecked_Deallocation, "a-uncdea"), - (No_Unchecked_Deallocation, "unchdeal")); + (No_Asynchronous_Control, "a-astaco"), + (No_Calendar, "a-calend"), + (No_Calendar, "calendar"), + (No_Delay, "a-calend"), + (No_Delay, "calendar"), + (No_Dynamic_Priorities, "a-dynpri"), + (No_Finalization, "a-finali"), + (No_IO, "a-direio"), + (No_IO, "directio"), + (No_IO, "a-sequio"), + (No_IO, "sequenio"), + (No_IO, "a-ststio"), + (No_IO, "a-textio"), + (No_IO, "text_io "), + (No_IO, "a-witeio"), + (No_Task_Attributes_Package, "a-tasatt"), + (No_Streams, "a-stream"), + (No_Unchecked_Conversion, "a-unccon"), + (No_Unchecked_Conversion, "unchconv"), + (No_Unchecked_Deallocation, "a-uncdea"), + (No_Unchecked_Deallocation, "unchdeal")); -- The following map has True for all GNAT pragmas. It is used to -- implement pragma Restrictions (No_Implementation_Restrictions) @@ -123,7 +123,7 @@ package Restrict is No_Select_Statements => True, No_Standard_Storage_Pools => True, No_Streams => True, - No_Task_Attributes => True, + No_Task_Attributes_Package => True, No_Task_Termination => True, No_Wide_Characters => True, Static_Priorities => True, |