diff options
Diffstat (limited to 'gcc/ada/exp_ch4.adb')
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 16ff6250588..b154a6f6e3f 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -9654,15 +9654,14 @@ package body Exp_Ch4 is procedure Raise_Accessibility_Error is begin + Error_Msg_Warn := not GNATprove_Mode; Rewrite (N, Make_Raise_Program_Error (Sloc (N), Reason => PE_Accessibility_Check_Failed)); Set_Etype (N, Target_Type); - Error_Msg_N - ("??accessibility check failure", N); - Error_Msg_NE - ("\??& will be raised at run time", N, Standard_Program_Error); + Error_Msg_N ("<<accessibility check failure", N); + Error_Msg_NE ("\<<& [", N, Standard_Program_Error); end Raise_Accessibility_Error; ---------------------- |