diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-17 21:10:18 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-11 05:53:50 -0400 |
| commit | cf0a011c2be57cd7454650c3a411aca0362719ad (patch) | |
| tree | d62030e3f79c2fbede33015893143edc03abca99 /gcc/ada/sem_ch4.adb | |
| parent | eb85899d605dcfc4519bf764959d92672f0f0749 (diff) | |
| download | gcc-cf0a011c2be57cd7454650c3a411aca0362719ad.zip gcc-cf0a011c2be57cd7454650c3a411aca0362719ad.tar.gz gcc-cf0a011c2be57cd7454650c3a411aca0362719ad.tar.bz2 | |
[Ada] Update SPARK RM rule numbers after removing a redundant rule
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_ch4.adb, sem_ch6.adb, sem_res.adb, sem_util.ads: Fix
references to SPARK RM 7.1.3 rule numbers.
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 a710ba2..bb0017e 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -665,7 +665,7 @@ package body Sem_Ch4 is -- 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 - -- a non-interfering context (SPARK 4.8(2) and 7.1.3(12)). + -- a non-interfering context (SPARK 4.8(2) and 7.1.3(10)). if Expander_Active or else (GNATprove_Mode and then not In_Spec_Expression) |