diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-21 15:42:32 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:16 -0400 |
| commit | 964cf38cb37e4766837b284a566cabe0fc737f26 (patch) | |
| tree | 276bc81bf72a295058092ad01f9d7e673187e7ff /gcc/ada/debug.adb | |
| parent | 5f74065e26a7a795d480884f352d0aeb69b8f436 (diff) | |
| download | gcc-964cf38cb37e4766837b284a566cabe0fc737f26.zip gcc-964cf38cb37e4766837b284a566cabe0fc737f26.tar.gz gcc-964cf38cb37e4766837b284a566cabe0fc737f26.tar.bz2 | |
[Ada] Fix expansion of 'Update with multiple choices in GNATprove
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Fix
expansion of attribute Update.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions