diff --git a/pl/debug.yap b/pl/debug.yap index 5cb4d07f4..c31da05a1 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -749,7 +749,7 @@ debugging :- '$recorded'('$sig_handler', action(S,A),_), '$execute'(A), '$handle_signals'(Rest). -'$handle_signals'([_|Rest]). +'$handle_signals'([_|Rest]) :- '$handle_signals'(Rest). '$msg'(P,G,Module,L,SL):- flush_output(user_output),