diff mbox series

[COMMITTED] ada: Tune message for missing 'Result in Contract_Cases

Message ID 20230529082902.2409451-1-poulhies@adacore.com
State Committed
Commit dedcfceaf012675d5c5c4f34a7cd97d23357d3f3
Headers
Series [COMMITTED] ada: Tune message for missing 'Result in Contract_Cases |

Commit Message

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

Make the message consistent with the one for postcondition.

gcc/ada/

	* sem_util.adb (Check_Result_And_Post_State): Tune message.

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

---
 gcc/ada/sem_util.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 9d12ee71d93..1839214332d 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.