diff mbox series

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

Message ID 20230529082858.2409319-1-poulhies@adacore.com
State Unresolved
Headers
Series [COMMITTED] ada: Tune message for pre/post on access-to-subprogram in old Ada |

Checks

Context Check Description
snail/gcc-patch-check warning Git am fail log

Commit Message

Marc Poulhiès May 29, 2023, 8:28 a.m. UTC 
  From: Piotr Trojanek <trojanek@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_prag.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 88dacf5cc57..b74c60cd183 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;