From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 31 Mar 2023 11:01:06 +0000 (+0200)
Subject: ada: Tune message for pre/post on access-to-subprogram in old Ada
X-Git-Tag: basepoints/gcc-15~8818
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=edb66b5f4d33363e1e5c0a74fcf2b4734093f508;p=thirdparty%2Fgcc.git

ada: Tune message for pre/post on access-to-subprogram in old Ada

Fix grammar in error message; make it consistent with a similar message
for pre/postcondition on formal subprogram.

gcc/ada/

	* sem_prag.adb (Analyze_Pre_Post_Condition): Tune error message.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 88dacf5cc57d..b74c60cd1833 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -5245,7 +5245,7 @@ package body Sem_Prag is
          then
             if Ada_Version < Ada_2022 then
                Error_Msg_Ada_2022_Feature
-                 ("pre/postcondition access-to-subprogram", Loc);
+                 ("pre/postcondition on access-to-subprogram", Loc);
                raise Pragma_Exit;
             end if;