diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-04 08:07:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:07:04 +0000 |
| commit | 2beb5444be68bc9b1e580947c133bf3b7e26b8d1 (patch) | |
| tree | 000325b82178ae64a9bc607ebea807e2cce30a6c /gcc | |
| parent | cb2ce45bfeca0a99aba1136d02dcb9ae491e477d (diff) | |
| download | gcc-2beb5444be68bc9b1e580947c133bf3b7e26b8d1.zip gcc-2beb5444be68bc9b1e580947c133bf3b7e26b8d1.tar.gz gcc-2beb5444be68bc9b1e580947c133bf3b7e26b8d1.tar.bz2 | |
[Ada] Fix capitalization and parenthesis glitches in GNAT RM
2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Fix
capitalization and parenthesis glitches.
* gnat_rm.texi: Regenerate.
From-SVN: r273068
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 7 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 7 |
3 files changed, 12 insertions, 8 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index be3241e..602bef5 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-07-04 Eric Botcazou <ebotcazou@adacore.com> + + * doc/gnat_rm/implementation_defined_pragmas.rst: Fix + capitalization and parenthesis glitches. + * gnat_rm.texi: Regenerate. + 2019-07-04 Ed Schonberg <schonberg@adacore.com> * 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 955a137..c2e4a4e 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 39a24ab..268ae30 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 |