From 11b957f5fe8f29bedfd94e61b77774ee5701de62 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 5 Oct 2014 10:19:42 +0100 Subject: [PATCH] protect from tracing. --- C/exec.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/C/exec.c b/C/exec.c index ea0ca0872..6ed04403d 100755 --- a/C/exec.c +++ b/C/exec.c @@ -1931,8 +1931,8 @@ Yap_InitExecFs(void) Yap_InitCPred("cut_at", 1, p_clean_ifcp, SafePredFlag); CurrentModule = cm; Yap_InitCPred("$pred_goal_expansion_on", 0, p_pred_goal_expansion_on, SafePredFlag); - Yap_InitCPred("$restore_regs", 1, p_restore_regs, SafePredFlag); - Yap_InitCPred("$restore_regs", 2, p_restore_regs2, SafePredFlag); + Yap_InitCPred("$restore_regs", 1, p_restore_regs, NoTracePredFlag|SafePredFlag); + Yap_InitCPred("$restore_regs", 2, p_restore_regs2, NoTracePredFlag|SafePredFlag); Yap_InitCPred("$clean_ifcp", 1, p_clean_ifcp, SafePredFlag); Yap_InitCPred("qpack_clean_up_to_disjunction", 0, p_cut_up_to_next_disjunction, SafePredFlag); Yap_InitCPred("$jump_env_and_store_ball", 1, p_jump_env, 0);