user handling of messages

This commit is contained in:
Vítor Santos Costa 2015-10-13 02:19:21 +01:00
parent 3368c84696
commit ec1e35192f

View File

@ -92,8 +92,6 @@ prolog:message_to_string(Event, Message) :-
% source-location and should therefore not be handled this way.
compose_message(_, banner) -->
current_prolog_flag(verbose, silent), !.
compose_message( Term, _Level ) -->
user:message_hook(Term), !.
compose_message( Term, _Level ) -->
prolog:message(Term), !.
compose_message( query(_QueryResult,_), _Level) -->