| commit | 94b105618c3a42222a3ffa12fb3f97924ba972b0 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Mon, 16 Jul 2018 14:10:42 +0000 (16 14:10 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Mon, 16 Jul 2018 14:10:42 +0000 (16 14:10 +0000) | ||
| tree | 39333cb727429f65547206f1d032f9004269bbd0 | treesnapshot (tar.gz zip) |
| parent | 192d0b1583c01fd783d46526e5be1f58eaf340c5 | commitdiff |
[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
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 | diffblobblamehistory | |
| gcc/ada/sem_ch3.adb | diffblobblamehistory |