diff --git a/C/adtdefs.c b/C/adtdefs.c index e05d242e7..049bc8ab4 100644 --- a/C/adtdefs.c +++ b/C/adtdefs.c @@ -460,7 +460,9 @@ Yap_NewPredPropByFunctor(FunctorEntry *fe, SMALLUNSGN cur_mod) Prop p0; PredEntry *p = (PredEntry *) Yap_AllocAtomSpace(sizeof(*p)); - /* printf("entering %s:%s/%d\n", RepAtom(AtomOfTerm(ModuleName[cur_mod]))->StrOfAE, RepAtom(fe->NameOfFE)->StrOfAE, fe->ArityOfFE); */ + extern long long int vsc_count; + if (p == 0x9183b68) printf("%lld entering %s:%s/%d\n", vsc_count, +RepAtom(AtomOfTerm(ModuleName[cur_mod]))->StrOfAE, RepAtom(fe->NameOfFE)->StrOfAE, fe->ArityOfFE); INIT_RWLOCK(p->PRWLock); p->KindOfPE = PEProp; diff --git a/C/cdmgr.c b/C/cdmgr.c index f94474dbf..85a1d5d27 100644 --- a/C/cdmgr.c +++ b/C/cdmgr.c @@ -1885,10 +1885,10 @@ p_pred_exists(void) return (FALSE); } else if (IsAtomTerm(t)) { Atom at = AtomOfTerm(t); - pe = RepPredProp(PredPropByAtom(at, mod)); + pe = RepPredProp(Yap_GetPredPropByAtom(at, mod)); } else if (IsApplTerm(t)) { Functor fun = FunctorOfTerm(t); - pe = RepPredProp(PredPropByFunc(fun, mod)); + pe = RepPredProp(Yap_GetPredPropByFunc(fun, mod)); } else return (FALSE); if (pe == NIL)