diff options
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 3e653a7335a..7e77eb5bd8a 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -4035,8 +4035,9 @@ package body Sem_Attr is -- Check in postcondition of function Prag := N; - while not Nkind_In (Prag, N_Pragma, N_Function_Specification, - N_Subprogram_Body) + while not Nkind_In (Prag, N_Pragma, + N_Function_Specification, + N_Subprogram_Body) loop Prag := Parent (Prag); end loop; |