a logical updatable predicate may never be undefined, because it is dynamic.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@765 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-02-12 13:17:36 +00:00
parent bcc49fc778
commit ce47ad0085

View File

@ -1712,7 +1712,7 @@ p_undefined(void)
if (pe == RepPredProp(NIL))
return (TRUE);
READ_LOCK(pe->PRWLock);
if (pe->PredFlags & (CPredFlag|UserCPredFlag|TestPredFlag|AsmPredFlag|DynamicPredFlag)) {
if (pe->PredFlags & (CPredFlag|UserCPredFlag|TestPredFlag|AsmPredFlag|DynamicPredFlag|LogUpdatePredFlag)) {
READ_UNLOCK(pe->PRWLock);
return(FALSE);
}