fix bug fix ;-).

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1717 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2006-11-10 11:42:42 +00:00
parent cbe55c9fbb
commit feca28c235

View File

@ -4125,11 +4125,8 @@ EraseLogUpdCl(LogUpdClause *clau)
ap->LastCallOfPred = LUCALL_RETRACT;
} else {
/* OK, there's noone left */
ap->TimeStampOfPred = 0L;
if (ap->cs.p_code.NOfClauses == 1) {
LogUpdClause *cl = ClauseCodeToLogUpdClause(ap->cs.p_code.FirstClause);
cl->ClTimeStart = 0;
cl->ClTimeEnd = ~0L;
if (ap->cs.p_code.NOfClauses == 0) {
ap->TimeStampOfPred = 0L;
}
/* fprintf(stderr,"- %x--%d--%ul\n",ap,ap->TimeStampOfPred,ap->ArityOfPE);*/
ap->LastCallOfPred = LUCALL_ASSERT;