diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-03 19:43:07 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:54 -0500 |
| commit | 79b149b19d9079f67dfb2c5d7b99aa103f108e19 (patch) | |
| tree | 8dda33aa0ee60e260acbb3a59ab4d372ee561e09 /gcc/ada/doc/share/sphinx.sty | |
| parent | 3e9238fa6435af6361fdb807525de75e1b306263 (diff) | |
| download | gcc-79b149b19d9079f67dfb2c5d7b99aa103f108e19.zip gcc-79b149b19d9079f67dfb2c5d7b99aa103f108e19.tar.gz gcc-79b149b19d9079f67dfb2c5d7b99aa103f108e19.tar.bz2 | |
[Ada] Sync doc and code for pragma Assertion_Policy
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst
(Assertion_Policy): Add "Default_Initial_Condition",
"Initial_Condition" and "Subprogram_Variant".
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/share/sphinx.sty')
0 files changed, 0 insertions, 0 deletions