diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-03 20:44:03 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:55 -0500 |
| commit | 8ff03120fc5febb76324ffd3a3bbfa1bcb75514c (patch) | |
| tree | 91d0673170634ed8facce45d517a0fa682b06253 /gcc/ada/doc/share | |
| parent | 79b149b19d9079f67dfb2c5d7b99aa103f108e19 (diff) | |
| download | gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.zip gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.tar.gz gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.tar.bz2 | |
[Ada] Default_Initial_Condition assertion policy is now RM defined
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst:
(Assertion_Policy): Move "Default_Initial_Condition" from
ID_ASSERTION_KIND to RM_ASSERTION_KIND section.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/share')
0 files changed, 0 insertions, 0 deletions