projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb85899) | patch
[Ada] Update SPARK RM rule numbers after removing a redundant rule
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 17 Mar 2020 20:10:18 +0000 (21:10 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:50 +0000 (05:53 -0400)
commitcf0a011c2be57cd7454650c3a411aca0362719ad
treed62030e3f79c2fbede33015893143edc03abca99tree
parenteb85899d605dcfc4519bf764959d92672f0f0749commit | diff
[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.
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history