diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix timestamp bug

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1716 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2006-11-10 03:06:06 +00:00
parent 39ae1ce717
commit cbe55c9fbb
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
C/dbase.c
View File

@ -4126,6 +4126,11 @@ EraseLogUpdCl(LogUpdClause *clau)
} 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;
}
/* fprintf(stderr,"- %x--%d--%ul\n",ap,ap->TimeStampOfPred,ap->ArityOfPE);*/
ap->LastCallOfPred = LUCALL_ASSERT;
}