handle empty sequence of clauses

This commit is contained in:
Vítor Santos Costa 2013-11-10 11:22:29 +00:00
parent f6f7f70b7f
commit bd5771eb59

View File

@ -6241,6 +6241,7 @@ Yap_FollowIndexingCode(PredEntry *ap, yamop *ipc, Term Terms[3], yamop *ap_pc, y
LogUpdIndex *cl = ipc->u.Illss.I; LogUpdIndex *cl = ipc->u.Illss.I;
PredEntry *ap = cl->ClPred; PredEntry *ap = cl->ClPred;
if (!cl) return NULL; /* in case the index is empty */
if (ap->LastCallOfPred != LUCALL_EXEC) { if (ap->LastCallOfPred != LUCALL_EXEC) {
/* /*
only increment time stamp if we are working on current time only increment time stamp if we are working on current time