diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-05 11:57:50 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:58 -0400 |
| commit | 8ecc34842c6884a508aaf56328ee76576c348cf7 (patch) | |
| tree | fe357640ced2876f5962e00bd972ee13a158eb41 /gcc/ada/debug.adb | |
| parent | c64ac479d37f32198f75eee496d32c175fc4260b (diff) | |
| download | gcc-8ecc34842c6884a508aaf56328ee76576c348cf7.zip gcc-8ecc34842c6884a508aaf56328ee76576c348cf7.tar.gz gcc-8ecc34842c6884a508aaf56328ee76576c348cf7.tar.bz2 | |
[Ada] Revert workaround for expansion of Enum_Rep in GNATprove mode
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove
expansion of First and Last attributes.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions