diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-10 19:33:44 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:01 -0400 |
commit | 137adce3902d54bce9a21add8a9a898ec067deca (patch) | |
tree | 3d6ef0c5822e0fe7a608ca289bce13704e5564f9 /gcc/ada/doc | |
parent | 4ffefb704a8e805278e72ed9bee7c94c0a1401d4 (diff) | |
download | gcc-137adce3902d54bce9a21add8a9a898ec067deca.zip gcc-137adce3902d54bce9a21add8a9a898ec067deca.tar.gz gcc-137adce3902d54bce9a21add8a9a898ec067deca.tar.bz2 |
[Ada] Fix casing from GNATProve to GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst, lib-writ.ads,
par-prag.adb, sem_ch12.adb, sem_ch8.adb, sem_prag.adb: Fix
casing of GNATprove.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc')
-rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index e9e4958..e5ef967 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -7421,7 +7421,7 @@ Syntax: DETAILS ::= static_string_EXPRESSION DETAILS ::= On | Off, static_string_EXPRESSION - TOOL_NAME ::= GNAT | GNATProve + TOOL_NAME ::= GNAT | GNATprove REASON ::= Reason => STRING_LITERAL {& STRING_LITERAL} |