projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 192d0b1) | patch
[Ada] Adjust reference to renumbered SPARK RM rule
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 16 Jul 2018 14:10:42 +0000 (14:10 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Jul 2018 14:10:42 +0000 (14:10 +0000)
commit94b105618c3a42222a3ffa12fb3f97924ba972b0
tree39333cb727429f65547206f1d032f9004269bbd0tree | snapshot
parent192d0b1583c01fd783d46526e5be1f58eaf340c5commit | diff
[Ada] Adjust reference to renumbered SPARK RM rule

Rules in SPARK RM 7.1.3 were renumbered when adding support for tasking,
but references in the comments were not updated. Now fixed.

2018-07-16  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM
rule.

From-SVN: r262710
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
Domain: System / Toolchain;