From c8c4c76e01f863f61d43d352f8c55137741f39d0 Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 30 Jan 2003 19:34:26 +0000 Subject: [PATCH] always pass B to meta-calls. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@755 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- C/exec.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/C/exec.c b/C/exec.c index 9f21ab793..b21a6926e 100644 --- a/C/exec.c +++ b/C/exec.c @@ -278,7 +278,7 @@ do_execute(Term t, SMALLUNSGN mod) P = NEXTOP(COMMA_CODE,sla); t = ArgOfTerm(1,t); goto restart_exec; - } else if (mod != CurrentModule) { + } else if (mod != CurrentModule) { return(CallMetaCall(mod)); } } @@ -411,7 +411,7 @@ p_execute_within(void) XREGS[i] = *pt++; #endif } - return (CallPredicate(pen, cut_pt)); + return (CallPredicate(pen, B)); } } } else if (IsAtomOrIntTerm(t)) { @@ -447,7 +447,7 @@ p_execute_within(void) return(CallMetaCallWithin(mod, B)); } pe = PredPropByAtom(a, mod); - return (CallPredicate(RepPredProp(pe), cut_pt)); + return (CallPredicate(RepPredProp(pe), B)); } } else { /* Is Pair Term */