[COMMITTED] ada: Tune message for pre/post on access-to-subprogram in old Ada
Marc Poulhiès
poulhies@adacore.com
Mon May 29 08:28:58 GMT 2023
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 --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;
--
2.40.0
More information about the Gcc-patches
mailing list