diff --git a/pl/signals.yap b/pl/signals.yap index c44270975..3e529e969 100644 --- a/pl/signals.yap +++ b/pl/signals.yap @@ -36,7 +36,7 @@ '$do_signal'(sig_creep, [M|G]) :- '$creep_allowed', !, ( - ( G = '$notrace'(G0) ; G = '$oncenotrace'(G0) ; G = '$execute0'(G0) ; '$system_module'(M), G = G0 ) + ( G = '$notrace'(G0) ; G = '$oncenotrace'(G0) ; G = '$execute0'(G0,M) ; '$system_module'(M), G = G0 ) -> ( '$execute_nonstop'(G0,M), @@ -50,7 +50,7 @@ ). % '$do_signal'(sig_creep, [M|G]) :- - ( G = '$notrace'(G0) ; G = '$oncenotrace'(G0) ; G = '$execute0'(G0) ; '$system_module'(M), G = G0 ), + ( G = '$notrace'(G0) ; G = '$oncenotrace'(G0) ; G = '$execute0'(G0,M) ; '$system_module'(M), G = G0 ), !, ( '$execute_nonstop'(G0,M),