diff --git a/pl/errors.yap b/pl/errors.yap index 525fb0724..23ed8a3b4 100644 --- a/pl/errors.yap +++ b/pl/errors.yap @@ -223,7 +223,7 @@ '$set_fpu_exceptions', print_message(error,error(Msg, Where)). '$process_error'(Throw, _) :- - print_message(error,Throw). + print_message(error,error(unhandled_exception,Throw)). print_message(force(_Severity), Msg) :- !, print(user_error,Msg). diff --git a/pl/messages.yap b/pl/messages.yap index 6c4976a6a..486d23930 100644 --- a/pl/messages.yap +++ b/pl/messages.yap @@ -270,6 +270,8 @@ system_message(error(type_error(TE,W), Where)) --> [ 'TYPE ERROR- ~w: expected ~q, got ~w' - [Where,TE,W] ]. system_message(error(unknown, Where)) --> [ 'EXISTENCE ERROR- procedure ~w undefined' - [Where] ]. +system_message(error(unhandled_exception,Throw)) --> + [ 'UNHANDLED EXCEPTION - message ~w unknown' - [Throw] ]. system_message(Messg) --> [ '~q' - Messg ].