projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79b149b) | patch
[Ada] Default_Initial_Condition assertion policy is now RM defined
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 3 Nov 2020 19:44:03 +0000 (20:44 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 27 Nov 2020 09:15:55 +0000 (04:15 -0500)
commit8ff03120fc5febb76324ffd3a3bbfa1bcb75514c
tree91d0673170634ed8facce45d517a0fa682b06253tree
parent79b149b19d9079f67dfb2c5d7b99aa103f108e19commit | diff
[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.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history