diff options
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 7442da1..52e0e89 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -21054,19 +21054,6 @@ package body Sem_Prag is Map_Pragma_Name (From => Chars (New_Name), To => Chars (Old_Name)); end Rename_Pragma; - ------------- - -- Polling -- - ------------- - - -- pragma Polling (ON | OFF); - - when Pragma_Polling => - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); - Polling_Required := (Chars (Get_Pragma_Arg (Arg1)) = Name_On); - ----------------------------------- -- Post/Post_Class/Postcondition -- ----------------------------------- @@ -30942,7 +30929,6 @@ package body Sem_Prag is Pragma_Partition_Elaboration_Policy => 0, Pragma_Passive => 0, Pragma_Persistent_BSS => 0, - Pragma_Polling => 0, Pragma_Post => -1, Pragma_Postcondition => -1, Pragma_Post_Class => -1, |