diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2020-10-09 11:48:12 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:41 -0500 |
| commit | 21d66365ad62c6d807dd5245101e30c67d563922 (patch) | |
| tree | 4e1e8cbeaa5e699cb9deac3851a612abf0259c32 /gcc/ada/doc/share/ada_pygments.py | |
| parent | 0dd6aab195175ca58b58e05d23acfd42c378f51b (diff) | |
| download | gcc-21d66365ad62c6d807dd5245101e30c67d563922.zip gcc-21d66365ad62c6d807dd5245101e30c67d563922.tar.gz gcc-21d66365ad62c6d807dd5245101e30c67d563922.tar.bz2 | |
[Ada] Add contracts to Ada.Strings.Maps
gcc/ada/
* libgnat/a-strmap.ads: Add preconditions and postconditions to
all subprograms.
Diffstat (limited to 'gcc/ada/doc/share/ada_pygments.py')
0 files changed, 0 insertions, 0 deletions