]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99e30ba) | patch
[Ada] Remove Initializes contracts from Ada.Strings.Bounded
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 28 Jul 2021 13:16:09 +0000 (15:16 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 23 Sep 2021 13:06:14 +0000 (13:06 +0000)
commite2b2f629da02f9b2549db7297133166f721953ae
tree91a3fc54fff7442c86f2d9925df5634731e56615tree
parent99e30ba8c01f80a81891223069d47d8a611082c4commit | diff
[Ada] Remove Initializes contracts from Ada.Strings.Bounded

gcc/ada/

* libgnat/a-strbou.ads (Generic_Bounded_Length): Remove explicit
Initializes contract.
gcc/ada/libgnat/a-strbou.ads diff | blob | blame | history
GNU Compiler Collection
This page took 0.061858 seconds and 5 git commands to generate.