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/tree-vect-loop-manip.c | |
| 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/tree-vect-loop-manip.c')
0 files changed, 0 insertions, 0 deletions