[Ada] Add Depends contracts to Delete procedures of formal containers
authorClaire Dross <dross@adacore.com>
Mon, 10 Feb 2020 11:30:40 +0000 (12:30 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:52 +0000 (03:50 -0400)
commit54c1fdb62b647c1dedf6d58d260ed85e93e0af20
treee360663b89cc6b6eb362222bbd91e55aac662d46
parent9490fd58a82b80a7048d5e1a82f749da438b4306
[Ada] Add Depends contracts to Delete procedures of formal containers

2020-06-08  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
libgnat/a-cfhase.ads, libgnat/a-cforma.ads, libgnat/a-cforse.ads
(Delete): Add Depends contract.
gcc/ada/libgnat/a-cfdlli.ads
gcc/ada/libgnat/a-cfhama.ads
gcc/ada/libgnat/a-cfhase.ads
gcc/ada/libgnat/a-cforma.ads
gcc/ada/libgnat/a-cforse.ads