[Ada] Fix copy-paste mistake in diagnostics for aspect Effective_Writes
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 14 Oct 2020 22:13:51 +0000 (00:13 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:37 +0000 (08:22 -0500)
gcc/ada/

* sem_ch13.adb (Analyze_One_Aspect): Replace duplicate of
Effective_Reads.

gcc/ada/sem_ch13.adb

index 3a906c7f610613894eb710c0135d882f6c96fc4b..4659a48c387e391cb1f5660acd88b72e5aae7ce3 100644 (file)
@@ -2849,7 +2849,7 @@ package body Sem_Ch13 is
               or else A_Id = Aspect_Async_Readers
               or else A_Id = Aspect_Async_Writers
               or else A_Id = Aspect_Effective_Reads
-              or else A_Id = Aspect_Effective_Reads
+              or else A_Id = Aspect_Effective_Writes
             then
                Error_Msg_Name_1 := Nam;
 
@@ -2882,7 +2882,7 @@ package body Sem_Ch13 is
                      and then A_Id /= Aspect_Async_Readers
                      and then A_Id /= Aspect_Async_Writers
                      and then A_Id /= Aspect_Effective_Reads
-                     and then A_Id /= Aspect_Effective_Reads
+                     and then A_Id /= Aspect_Effective_Writes
                   then
                      Error_Msg_N
                        ("aspect % not allowed for formal type declaration",