diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-31 16:43:23 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-29 10:23:18 +0200 |
commit | dedcfceaf012675d5c5c4f34a7cd97d23357d3f3 (patch) | |
tree | 9c18e4e3650cec4144db7c27bd66bc0e11e35672 /gcc | |
parent | e73516e5ccd617aa50a5b0111b35aa063e1a6fd5 (diff) | |
download | gcc-dedcfceaf012675d5c5c4f34a7cd97d23357d3f3.zip gcc-dedcfceaf012675d5c5c4f34a7cd97d23357d3f3.tar.gz gcc-dedcfceaf012675d5c5c4f34a7cd97d23357d3f3.tar.bz2 |
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.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/sem_util.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9d12ee7..1839214 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. |