diff options
| author | Claire Dross <dross@adacore.com> | 2020-02-10 12:30:40 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:50:52 -0400 |
| commit | 54c1fdb62b647c1dedf6d58d260ed85e93e0af20 (patch) | |
| tree | e360663b89cc6b6eb362222bbd91e55aac662d46 /gcc/ada/socket.c | |
| parent | 9490fd58a82b80a7048d5e1a82f749da438b4306 (diff) | |
| download | gcc-54c1fdb62b647c1dedf6d58d260ed85e93e0af20.zip gcc-54c1fdb62b647c1dedf6d58d260ed85e93e0af20.tar.gz gcc-54c1fdb62b647c1dedf6d58d260ed85e93e0af20.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/socket.c')
0 files changed, 0 insertions, 0 deletions