From 2beb5444be68bc9b1e580947c133bf3b7e26b8d1 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 4 Jul 2019 08:07:04 +0000 Subject: [PATCH] [Ada] Fix capitalization and parenthesis glitches in GNAT RM 2019-07-04 Eric Botcazou gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Fix capitalization and parenthesis glitches. * gnat_rm.texi: Regenerate. From-SVN: r273068 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 7 +++---- gcc/ada/gnat_rm.texi | 7 +++---- 3 files changed, 12 insertions(+), 8 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index be3241e09f4..602bef5d031 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-07-04 Eric Botcazou + + * doc/gnat_rm/implementation_defined_pragmas.rst: Fix + capitalization and parenthesis glitches. + * gnat_rm.texi: Regenerate. + 2019-07-04 Ed Schonberg * sem_ch10.adb (Remove_Context_Clauses): Handle properly the diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 955a1376cab..c2e4a4e9d58 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -7312,11 +7312,10 @@ methods can be used to enable validity checking for mode ``in`` and The form ALL_CHECKS activates all standard checks (its use is equivalent -to the use of the :switch:`gnatva` switch. +to the use of the :switch:`gnatVa` switch). -The forms with ``Off`` and ``On`` -can be used to temporarily disable validity checks -as shown in the following example: +The forms with ``Off`` and ``On`` can be used to temporarily disable +validity checks as shown in the following example: .. code-block:: ada diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 39a24abbd98..268ae30bb01 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -8779,11 +8779,10 @@ $ gcc -c -gnatVim ... @end itemize The form ALL_CHECKS activates all standard checks (its use is equivalent -to the use of the @code{gnatva} switch. +to the use of the @code{gnatVa} switch). -The forms with @code{Off} and @code{On} -can be used to temporarily disable validity checks -as shown in the following example: +The forms with @code{Off} and @code{On} can be used to temporarily disable +validity checks as shown in the following example: @example pragma Validity_Checks ("c"); -- validity checks for copies -- 2.30.2