]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix section of Finalizable extension in GNAT RM
authorRonan Desplanques <desplanques@adacore.com>
Fri, 30 May 2025 09:50:09 +0000 (11:50 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 15 Sep 2025 12:59:28 +0000 (14:59 +0200)
commite2aab9ab8b32bdf0cb535a66e98ff3e3aad274c0
treeecd5c8ae14d270ed23cfddbb6ce0c416e4aed607
parentdcaabdd2daa7fefd24985cc3de5b0752c920df69
ada: Fix section of Finalizable extension in GNAT RM

The generalized finalization extension was awarded the title of curated
extension some time ago, but this wasn't reflected in the GNAT
reference manual before this patch, which moves the documentation for
generalized finalization in the curated extension section.

gcc/ada/ChangeLog:

* doc/gnat_rm/gnat_language_extensions.rst: Fix section of Finalizable.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi