diff options
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index d1f927a..70c745d 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -4102,15 +4102,9 @@ package body Sem_Attr is Analyze_And_Resolve (N, Etype (PS)); else - if Ada_Version >= Ada_2012 then - Error_Attr - ("% attribute can only appear" & - " in function Postcondition pragma or Post aspect", P); - else - Error_Attr - ("% attribute can only appear" & - " in function Postcondition pragma", P); - end if; + Error_Attr + ("% attribute can only appear in postcondition of function", + P); end if; end if; end Result; |