]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 28 Jul 2021 12:13:58 +0000 (14:13 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 23 Sep 2021 13:06:13 +0000 (13:06 +0000)
commit37a3df0d9a849c912735124ec0b156c229fb308a
treeccaee11f037ecbe099100a17da2b45e1a751e986
parent62e66ee5bfe93de637f9ea9849a73807894936e0
[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.
gcc/ada/libgnat/a-strbou.ads