diff options
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 836c278621e..94cbd9e730a 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -3847,7 +3847,8 @@ package body Sem_Attr is if not In_Loop_Assertion then Error_Attr - ("attribute % must appear within pragma Loop_Assertion", N); + ("attribute % must appear within pragma Loop_Variant or " & + "Loop_Invariant", N); end if; -- A Loop_Entry that applies to a given loop statement shall not |