diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-07-05 10:52:58 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-02 09:08:03 +0200 |
| commit | b1dc668b71bf64046b65b508f43157fcaa095ea9 (patch) | |
| tree | 3cbef92294b56a8a64ee5d40b17c62ae5d7e0d8d /gcc/ada/doc/gnat_rm | |
| parent | 058e5fd2bd1f18e2c1b6bd1fc02e77560d99f8e8 (diff) | |
| download | gcc-b1dc668b71bf64046b65b508f43157fcaa095ea9.zip gcc-b1dc668b71bf64046b65b508f43157fcaa095ea9.tar.gz gcc-b1dc668b71bf64046b65b508f43157fcaa095ea9.tar.bz2 | |
ada: Fix layout of GNAT reference manual section
gcc/ada/
* doc/gnat_rm/gnat_language_extensions.rst: Fix layout of section.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst index 0f001c4..efda4af 100644 --- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst +++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst @@ -53,8 +53,6 @@ A basic_declarative_item may appear at the place of any statement. This avoids the heavy syntax of block_statements just to declare something locally. -Link to the original RFC: -https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md For example: .. code-block:: ada @@ -67,6 +65,9 @@ For example: X := X + Squared; end if; +Link to the original RFC: +https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md + Conditional when constructs --------------------------- |