diff options
| author | Yannick Moy <moy@adacore.com> | 2023-04-20 12:15:16 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:43 +0200 |
| commit | f02be8fc6e1d9679d507faa7fd72155addc69ab1 (patch) | |
| tree | a8fb14e82497a4cfb3cf4ee74b41b97c30b37cb1 /gcc/config.gcc | |
| parent | be3a8f913fbef0231b64143e1eefdc8e45fe391e (diff) | |
| download | gcc-f02be8fc6e1d9679d507faa7fd72155addc69ab1.zip gcc-f02be8fc6e1d9679d507faa7fd72155addc69ab1.tar.gz gcc-f02be8fc6e1d9679d507faa7fd72155addc69ab1.tar.bz2 | |
ada: Use ghost predicate in standard library
In preparation for attribute Initialized to become ghost, use aspect
Ghost_Predicate instead of Predicate in unit Ada.Strings.Superbounded
of the standard library.
gcc/ada/
* libgnat/a-strsup.ads: Change predicate aspect.
* sem_ch13.adb (Add_Predicate): Fix for first predicate.
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions