diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-18 07:15:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-18 07:15:22 +0000 |
| commit | 16b54914309fa2d94159d71b2e4a75fd497e1e75 (patch) | |
| tree | 541b1c56376e314d239a65f9060b7808d8bdd2f2 /gcc/ada/sem_ch4.adb | |
| parent | a760d142461694eca613c9d9a19333416566241e (diff) | |
| download | gcc-16b54914309fa2d94159d71b2e4a75fd497e1e75.zip gcc-16b54914309fa2d94159d71b2e4a75fd497e1e75.tar.gz gcc-16b54914309fa2d94159d71b2e4a75fd497e1e75.tar.bz2 | |
[Ada] Fix three-letter typos like "sss" in comments and docs
2019-12-18 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst,
doc/gnat_rm/obsolescent_features.rst,
doc/gnat_ugn/gnat_and_program_execution.rst, exp_attr.adb,
exp_ch9.adb, init.c, libgnat/s-valrea.adb, par-ch6.adb,
sem_attr.adb, sem_ch4.adb, sem_util.ads: Fix trivial typos.
* gnat_rm.texi, gnat_ugn.texi: Regenerate.
From-SVN: r279514
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 0158623..5910112 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -676,7 +676,7 @@ package body Sem_Ch4 is -- In GNATprove mode we need to preserve the link between -- the original subtype indication and the anonymous subtype, - -- to extend proofs to constrained acccess types. We only do + -- to extend proofs to constrained access types. We only do -- that outside of spec expressions, otherwise the declaration -- cannot be inserted and analyzed. In such a case, GNATprove -- later rejects the allocator as it is not used here in |