From 4867563b09f7cbf44e6a333e589849a83077ec0f Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 24 Apr 2014 14:24:27 +0100 Subject: [PATCH] fix multifile handling. --- C/cdmgr.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/C/cdmgr.c b/C/cdmgr.c index bc7e93059..7761a5cb4 100644 --- a/C/cdmgr.c +++ b/C/cdmgr.c @@ -2024,10 +2024,15 @@ not_was_reconsulted(PredEntry *p, Term t, int mode) if ((p->cs.p_code.NOfClauses && p->src.OwnerFile == Yap_ConsultingFile( PASS_REGS1 ) && p->src.OwnerFile != AtomNil && + !(p->PredFlags & MultiFileFlag) && p->src.OwnerFile != AtomUserIn) ) { + //if (p->ArityOfPE) + // printf("+ %s %s %d\n",NameOfFunctor(p->FunctorOfPred)->StrOfAE,p->src.OwnerFile->StrOfAE, p->cs.p_code.NOfClauses); retract_all(p, static_in_use(p,TRUE)); return TRUE; } + // else if (p->ArityOfPE && p->cs.p_code.NOfClauses) + // printf("- %s %s\n",NameOfFunctor(p->FunctorOfPred)->StrOfAE,p->src.OwnerFile->StrOfAE); } if (mode) { if (LOCAL_ConsultSp == LOCAL_ConsultLow+1) {