diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-11 23:48:34 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:55 -0400 |
| commit | 31c1fdbe0d12299eae196a4653952ab63ac23621 (patch) | |
| tree | cfc37507bdaa849fcb6fda91a29e499325a54935 /gcc/ada/doc/gnat_ugn | |
| parent | d4175ef48ba562f6fb8098b6fa000f3d77e11e1b (diff) | |
| download | gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.zip gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.tar.gz gcc-31c1fdbe0d12299eae196a4653952ab63ac23621.tar.bz2 | |
[Ada] Fix documentation of -gnatVa switch
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(Validity Checking): Add "p" to the list of switches enabled by
-gnatVa.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/gnat_ugn')
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index 368cb86..1fd59d7 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -4403,7 +4403,7 @@ to the default checks required by Ada as described above. All validity checks are turned on. That is, :switch:`-gnatVa` is - equivalent to ``gnatVcdfimorst``. + equivalent to ``gnatVcdfimoprst``. .. index:: -gnatVc (gcc) |