| commit | 2d8dc17101260f578a6d591fa03187aa4c2908d7 | |
| author | Yannick Moy <moy@adacore.com> | |
| Mon, 30 Oct 2023 09:25:46 +0000 (30 10:25 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 21 Nov 2023 09:57:42 +0000 (21 10:57 +0100) | ||
| tree | 9f6061fdec00e6af8175d6d67a0ab45f450606d6 | treesnapshot (tar.gz zip) |
| parent | 706535a9a2a726c388a3127fffc0848fb33bb951 | commitdiff |
ada: Fix type for SPARK expansion on deep delta aggregates
gcc/ada/
* exp_spark.adb (Expand_SPARK_Delta_Or_Aggregate): Fix type.
gcc/ada/
* exp_spark.adb (Expand_SPARK_Delta_Or_Aggregate): Fix type.
| gcc/ada/exp_spark.adb | diffblobblamehistory |