diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:59:50 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:59:50 +0000 |
commit | 286f80f15a8727825fa0184f90dacd4c04d589f4 (patch) | |
tree | 7d4732f0abe2b223aae59d11f570aaab5a66bdf0 /gcc/ada/par-ch5.adb | |
parent | 9e7f0d65ef532a514da45902e3fdd46deb425897 (diff) | |
download | gcc-286f80f15a8727825fa0184f90dacd4c04d589f4.tar.gz |
2011-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, prj-part.adb, par-ch4.adb,
sem_util.adb, sem_ch4.adb, sem_ch6.adb, sem_ch6.ads, sem_ch8.adb,
sem_ch8.ads, sem_ch13.ads, par-ch5.adb, prj-env.ads: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177055 138bc75d-0d04-0410-961f-82ee72b054a4
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 9a390ab03a0..27bc899f09e 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 |