diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-05-16 22:13:38 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:54 +0200 |
| commit | 7e057326a901155bccc0ae559191220144a4f6b9 (patch) | |
| tree | cac6ff3315fe57e0362c1532147afbc90c8a46b9 /gcc/ada/gnat_ugn.texi | |
| parent | 4f6ee98c27cf0219779a2ccd6ef5d0e67b75580f (diff) | |
| download | gcc-7e057326a901155bccc0ae559191220144a4f6b9.zip gcc-7e057326a901155bccc0ae559191220144a4f6b9.tar.gz gcc-7e057326a901155bccc0ae559191220144a4f6b9.tar.bz2 | |
ada: Add documentation for Subprogram_Variant aspect and pragma
For completeness, the GNAT Reference Manual should document aspects and
pragmas that are specific to SPARK and described in the SPARK User's
Guide.
gcc/ada/
* doc/gnat_rm/implementation_defined_aspects.rst
(Aspect Subprogram_Variant): Refer to SPARK User's Guide.
* doc/gnat_rm/implementation_defined_pragmas.rst
(Pragma Subprogram_Variant): Document syntax to satisfy the
convention; refer to SPARK User's Guide for semantics.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index db06a77..bba4f25 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29666,8 +29666,8 @@ to permit their use in free software. @printindex ge -@anchor{d1}@w{ } @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } +@anchor{d1}@w{ } @c %**end of body @bye |