diff options
Diffstat (limited to 'src/errorout.adb')
| -rw-r--r-- | src/errorout.adb | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/errorout.adb b/src/errorout.adb index 5e706c475..485f5fef3 100644 --- a/src/errorout.adb +++ b/src/errorout.adb @@ -388,15 +388,9 @@ package body Errorout is Report_Handler.Message_Group.all (False); end Report_End_Group; - procedure Error_Msg_Option_NR (Msg: String) is + procedure Error_Msg_Option (Msg: String) is begin Report_Msg (Msgid_Error, Option, No_Source_Coord, Msg); - end Error_Msg_Option_NR; - - procedure Error_Msg_Option (Msg: String; Args : Earg_Arr := No_Eargs) is - begin - Report_Msg (Msgid_Error, Option, No_Source_Coord, Msg, Args); - raise Option_Error; end Error_Msg_Option; procedure Warning_Msg_Option (Id : Msgid_Warnings; Msg: String) is |