From 31c1fdbe0d12299eae196a4653952ab63ac23621 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 11 May 2020 23:48:34 +0200 Subject: [PATCH] [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. --- gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 2 +- gcc/ada/gnat_ugn.texi | 2 +- 2 files changed, 2 insertions(+), 2 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 368cb8666f2..1fd59d77fe2 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) diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index b6ed321466c..b2f022e2c04 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -13161,7 +13161,7 @@ to the default checks required by Ada as described above. All validity checks are turned on. That is, @code{-gnatVa} is -equivalent to @code{gnatVcdfimorst}. +equivalent to @code{gnatVcdfimoprst}. @end table @geindex -gnatVc (gcc) -- 2.30.2