ada: Adjust SPARK RM rule numbers for new handling of Async_Writers

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.

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index ae98ad6c98f7cb198c56b2b848eacf13af92193a..a3eeef9ae66ec26523ae984af89efaca1407f76f 100644 (file)
--- 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.