[Ada] Fix expansion of 'Update with multiple choices in GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 21 May 2020 13:42:32 +0000 (15:42 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:16 +0000 (05:16 -0400)
commit964cf38cb37e4766837b284a566cabe0fc737f26
tree276bc81bf72a295058092ad01f9d7e673187e7ff
parent5f74065e26a7a795d480884f352d0aeb69b8f436
[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.
gcc/ada/exp_spark.adb