commit | e2b2f629da02f9b2549db7297133166f721953ae | [log] [tgz] |
---|---|---|
author | Piotr Trojanek <trojanek@adacore.com> | Wed Jul 28 15:16:09 2021 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Thu Sep 23 13:06:14 2021 +0000 |
tree | 91a3fc54fff7442c86f2d9925df5634731e56615 | |
parent | 99e30ba8c01f80a81891223069d47d8a611082c4 [diff] |
[Ada] Remove Initializes contracts from Ada.Strings.Bounded gcc/ada/ * libgnat/a-strbou.ads (Generic_Bounded_Length): Remove explicit Initializes contract.