[COMMITTED 12/45] ada: Adjust SPARK RM rule numbers for new handling of Async_Writers

[Marc Poulhiès]

From: Piotr Trojanek <troja...@adacore.com>

A SPARK RM rule 7.1.2(14) about Async_Writes being implicitly initialized is
now removed; adjust references to subsequent rules in comments.

gcc/ada/ChangeLog:

        * sem_prag.adb (Analyze_Pragma): Adjust references in comments for
        pragma Side_Effects and Volatile_Function.

Tested on x86_64-pc-linux-gnu (before the recent bootstrap breakage), committed 
on master.

---
 gcc/ada/sem_prag.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index ae98ad6c98f..a3eeef9ae66 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -25782,7 +25782,7 @@ package body Sem_Prag is
             Add_Contract_Item (N, Spec_Id);
 
             --  A function with side effects cannot override a function without
-            --  side effects (SPARK RM 7.1.2(16)). Overriding checks are
+            --  side effects (SPARK RM 7.1.2(15)). Overriding checks are
             --  usually performed in New_Overloaded_Entity, however at
             --  that point the pragma has not been processed yet.
 
@@ -28592,7 +28592,7 @@ package body Sem_Prag is
             Analyze_If_Present (Pragma_SPARK_Mode);
 
             --  A volatile function cannot override a non-volatile function
-            --  (SPARK RM 7.1.2(15)). Overriding checks are usually performed
+            --  (SPARK RM 7.1.2(14)). Overriding checks are usually performed
             --  in New_Overloaded_Entity, however at that point the pragma has
             --  not been processed yet.
 
-- 
2.51.0