change the sig_pending flag into a stack

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@295 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
stasinos 2002-01-15 15:53:59 +00:00
parent 502e15be8e
commit b9b8b3d3be

View File

@ -749,7 +749,7 @@ debugging :-
'$recorded'('$sig_handler', action(S,A),_), '$recorded'('$sig_handler', action(S,A),_),
'$execute'(A), '$execute'(A),
'$handle_signals'(Rest). '$handle_signals'(Rest).
'$handle_signals'([_|Rest]). '$handle_signals'([_|Rest]) :- '$handle_signals'(Rest).
'$msg'(P,G,Module,L,SL):- '$msg'(P,G,Module,L,SL):-
flush_output(user_output), flush_output(user_output),