diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-21 16:13:56 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 17:13:56 +0100 |
| commit | 084c220328b5738ed943d513cc8f646cfa167dea (patch) | |
| tree | 305c53c5ee27e210d3e0813f8806a082260595c5 /gcc/ada/aspects.adb | |
| parent | d2d21de9dc8d2fb57be7c3c95f48679f19673702 (diff) | |
| download | gcc-084c220328b5738ed943d513cc8f646cfa167dea.zip gcc-084c220328b5738ed943d513cc8f646cfa167dea.tar.gz gcc-084c220328b5738ed943d513cc8f646cfa167dea.tar.bz2 | |
sem_prag.adb (Analyze_Pragma, [...]): Fix problem with pragma or aspect that applies to package spec or subprogram spec.
2014-01-21 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Fix problem
with pragma or aspect that applies to package spec or subprogram
spec.
From-SVN: r206885
Diffstat (limited to 'gcc/ada/aspects.adb')
0 files changed, 0 insertions, 0 deletions