diff --git a/C/errors.c b/C/errors.c index 1fc418464..bce1891ef 100644 --- a/C/errors.c +++ b/C/errors.c @@ -207,7 +207,8 @@ exit_yap (int value, char *msg) exit(value); } -static void detect_bug_location(char *tp, int psize) +static void +detect_bug_location(char *tp, int psize) { Atom pred_name; Int pred_arity; diff --git a/C/exec.c b/C/exec.c index 96030a389..30e212fa4 100644 --- a/C/exec.c +++ b/C/exec.c @@ -1315,6 +1315,6 @@ InitExecFs(void) InitCPred("$restore_regs", 1, p_restore_regs, SafePredFlag); InitCPred("$restore_regs", 2, p_restore_regs2, SafePredFlag); InitCPred("$clean_ifcp", 1, p_clean_ifcp, SafePredFlag); - InitCPred("$jump_env_and_store_ball", 1, p_jump_env, SafePredFlag); + InitCPred("$jump_env_and_store_ball", 1, p_jump_env, 0); } diff --git a/pl/boot.yap b/pl/boot.yap index f14c0a335..44581ca2a 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1188,7 +1188,6 @@ throw(Ball) :- '$jump_env_and_store_ball'(NewBall). - % just create a choice-point '$catch'(_,_,_). '$catch'(_,_,_) :- fail.