diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-07-28 14:13:58 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-23 13:06:13 +0000 |
| commit | 37a3df0d9a849c912735124ec0b156c229fb308a (patch) | |
| tree | ccaee11f037ecbe099100a17da2b45e1a751e986 /gcc/ada/gcc-interface | |
| parent | 62e66ee5bfe93de637f9ea9849a73807894936e0 (diff) | |
| download | gcc-37a3df0d9a849c912735124ec0b156c229fb308a.zip gcc-37a3df0d9a849c912735124ec0b156c229fb308a.tar.gz gcc-37a3df0d9a849c912735124ec0b156c229fb308a.tar.bz2 | |
[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded
gcc/ada/
* libgnat/a-strbou.ads (Generic_Bounded_Length): Remove non-null
Global contracts.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions