From 895e29d44427d48475bef3d164ea9b4693ea1c0d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Sep 2008 18:07:50 +0100
Subject: [PATCH] FIX: '$execute0' should be invisible to creep processing

---
 pl/signals.yap | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pl/signals.yap b/pl/signals.yap
index cbc5ac923..e1bc954e2 100644
--- a/pl/signals.yap
+++ b/pl/signals.yap
@@ -17,6 +17,10 @@
 
 :- meta_predicate on_signal(+,?,:), alarm(+,:,-).
 
+% '$execute0' should be ignored.
+'$creep'([_|'$execute0'(G,M)]) :-
+	!,
+	'$creep'([M|G]).
 '$creep'(G) :-
 	% get the first signal from the mask
 	'$first_signal'(Sig), !,
@@ -32,6 +36,7 @@
 	'$continue_signals',
 	'$wake_up_goal'(G, LG).
 % never creep on entering system mode!!!
+% don't creep on meta-call.
 '$do_signal'(sig_creep, [M|G]) :-
 	'$creep_allowed', !,
         '$start_creep'([M|G]).