another useless message
This commit is contained in:
parent
f822bc8077
commit
2b5f5c3d0a
@ -832,7 +832,7 @@ execute_print_message(silent, _Msg) :-
|
|||||||
!.
|
!.
|
||||||
execute_print_message(informational, _Msg) :-
|
execute_print_message(informational, _Msg) :-
|
||||||
current_prolog_flag(verbose, silent),
|
current_prolog_flag(verbose, silent),
|
||||||
!, writeln(ok:_Msg).
|
!.
|
||||||
execute_print_message(banner, _Msg) :-
|
execute_print_message(banner, _Msg) :-
|
||||||
current_prolog_flag(verbose, silent),
|
current_prolog_flag(verbose, silent),
|
||||||
!.
|
!.
|
||||||
|
Reference in New Issue
Block a user