handle empty sequence of clauses

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

View File

@ -8246,6 +8246,7 @@ Yap_absmi(int inp)
LogUpdIndex *cl = PREG->u.Illss.I;
PredEntry *ap = cl->ClPred;
if (!cl) { FAIL(); } /* in case the index is empty */
if (ap->LastCallOfPred != LUCALL_EXEC) {
/*
only increment time stamp if we are working on current time