[Ada] Add missing Global contract to Ada.Containers.Functional_Vectors
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 31 Jan 2020 20:13:31 +0000 (21:13 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:42 +0000 (08:17 -0400)
commita8aecf319aaa77429584ac8c18f556c2577616b9
treeef3c8a4abbebd947480478a2f5fb0e63c26f63e8
parenta9969d7feb35306ba82bc5d605d9c8c48f1c8271
[Ada] Add missing Global contract to Ada.Containers.Functional_Vectors

2020-06-05  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* libgnat/a-cofuve.ads (First): Add Global contract.
gcc/ada/libgnat/a-cofuve.ads