diff options
Diffstat (limited to 'gcc/ada/par-ch5.adb')
| -rw-r--r-- | gcc/ada/par-ch5.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/par-ch5.adb b/gcc/ada/par-ch5.adb index 9a390ab..27bc899f 100644 --- a/gcc/ada/par-ch5.adb +++ b/gcc/ada/par-ch5.adb @@ -2138,8 +2138,9 @@ package body Ch5 is Inner : while Present (Decl) loop if (Nkind (Decl) not in N_Later_Decl_Item - or else (SPARK_Mode - and then Nkind (Decl) = N_Package_Declaration)) + or else (SPARK_Mode + and then + Nkind (Decl) = N_Package_Declaration)) and then Nkind (Decl) /= N_Pragma then if Ada_Version = Ada_83 then |