From 614bdd981f7c5c3e1efbc1d89e057c42639f0f57 Mon Sep 17 00:00:00 2001
From: uid49918 <uid49918@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Tue, 28 Oct 2003 21:04:52 +0000
Subject: [PATCH] make sure $pred_exists does not create new pred prop.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@908 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/adtdefs.c | 4 +++-
 C/cdmgr.c   | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

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)