From 94b105618c3a42222a3ffa12fb3f97924ba972b0 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 16 Jul 2018 14:10:42 +0000 Subject: [PATCH] [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 gcc/ada/ * sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM rule. From-SVN: r262710 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_ch3.adb | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 975d807e960..0630bcf7878 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-07-16 Piotr Trojanek + + * sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM + rule. + 2018-07-16 Arnaud Charlet * adaint.c (__gnat_set_file_time_name): Code clean up. diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index b9186d73ae3..43055e69871 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -20125,7 +20125,7 @@ package body Sem_Ch3 is end if; end if; - -- A discriminant cannot be effectively volatile (SPARK RM 7.1.3(6)). + -- A discriminant cannot be effectively volatile (SPARK RM 7.1.3(4)). -- This check is relevant only when SPARK_Mode is on as it is not a -- standard Ada legality rule. -- 2.30.2