diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-23 16:42:30 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-04-15 16:10:20 +0200 |
| commit | ab5bb2bc3fbca3446d989748f04d0b32717e66d7 (patch) | |
| tree | 679b41d9f42ee9463291edbe5b73861cb523835a /gcc/ada/gnat_ugn.texi | |
| parent | 18e881ebd9f4b9429c652a81b8ceee84275bdade (diff) | |
| download | gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.zip gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.tar.gz gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.tar.bz2 | |
ada: Add documentation for Exceptional_Cases
Add minimal description for pragma and aspect Exceptional_Cases, based
on a similarly minimal descriptions for other SPARK contracts.
gcc/ada/
* doc/gnat_rm/implementation_defined_aspects.rst
(Exceptional_Cases): Add description for aspect.
* doc/gnat_rm/implementation_defined_pragmas.rst
(Exceptional_Cases): Add description for pragma.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index f64c091..997086c 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , Dec 21, 2023 +GNAT User's Guide for Native Platforms , Apr 15, 2024 AdaCore @@ -29580,8 +29580,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 |