diff options
| author | Maroua Maalej <maalej@adacore.com> | 2018-10-09 15:06:30 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-10-09 15:06:30 +0000 |
| commit | 38c2f655ffa5cf2f335c2772ec484702d891a7c3 (patch) | |
| tree | 191daf19dd73e3798d397c213a5332d2cd9f26c7 /libcpp/macro.c | |
| parent | 827845b8291910e7815ffcafe58d48a78c3ea410 (diff) | |
| download | gcc-38c2f655ffa5cf2f335c2772ec484702d891a7c3.zip gcc-38c2f655ffa5cf2f335c2772ec484702d891a7c3.tar.gz gcc-38c2f655ffa5cf2f335c2772ec484702d891a7c3.tar.bz2 | |
[Ada] SPARK: fix bug related to non access object permissions
2018-10-09 Maroua Maalej <maalej@adacore.com>
gcc/ada/
* sem_spark.adb (Check_Declaration): fix bug related to non
access object permissions.
From-SVN: r264979
Diffstat (limited to 'libcpp/macro.c')
0 files changed, 0 insertions, 0 deletions