From dedcfceaf012675d5c5c4f34a7cd97d23357d3f3 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 31 Mar 2023 16:43:23 +0200 Subject: [PATCH] ada: Tune message for missing 'Result in Contract_Cases Make the message consistent with the one for postcondition. gcc/ada/ * sem_util.adb (Check_Result_And_Post_State): Tune message. --- gcc/ada/sem_util.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9d12ee71d939..1839214332d6 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -4644,7 +4644,8 @@ package body Sem_Util is -- attribute 'Result. elsif Present (Case_Prag) and then not Seen_In_Case then - Error_Msg_N ("contract cases do not mention result?.t?", Case_Prag); + Error_Msg_N + ("contract cases do not mention function result?.t?", Case_Prag); -- The function has non-trivial postconditions only and they do not -- mention attribute 'Result. -- 2.47.2