diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-17 18:00:41 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:12 -0400 |
| commit | 5351d617ec82bc2795a514e9de815484fb8cd0fc (patch) | |
| tree | 83d573643cf7bd7bdf6a3d4e4e57e049027ad92f /libgcc | |
| parent | e344ec2553320fa95414e39001435076f277e335 (diff) | |
| download | gcc-5351d617ec82bc2795a514e9de815484fb8cd0fc.zip gcc-5351d617ec82bc2795a514e9de815484fb8cd0fc.tar.gz gcc-5351d617ec82bc2795a514e9de815484fb8cd0fc.tar.bz2 | |
[Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Port
changes in frontend expander.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions