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/gcov.c | |
| 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/gcov.c')
0 files changed, 0 insertions, 0 deletions