cleanup patch
This commit is contained in:
parent
22d8e33a5f
commit
de60807724
@ -1453,7 +1453,7 @@ static Int has_cut(yamop *pc, PredEntry *ap)
|
|||||||
{
|
{
|
||||||
if (ap->PredFlags & LogUpdatePredFlag) {
|
if (ap->PredFlags & LogUpdatePredFlag) {
|
||||||
LogUpdClause *lcl = ClauseCodeToLogUpdClause(pc);
|
LogUpdClause *lcl = ClauseCodeToLogUpdClause(pc);
|
||||||
return lcl->ClFlags & HasCutMask ? 1 : 0;
|
return ( (lcl->ClFlags & HasCutMask) != 0);
|
||||||
} else if (ap->PredFlags & MegaClausePredFlag) {
|
} else if (ap->PredFlags & MegaClausePredFlag) {
|
||||||
/* must be a fact */
|
/* must be a fact */
|
||||||
return FALSE;
|
return FALSE;
|
||||||
@ -1461,7 +1461,7 @@ static Int has_cut(yamop *pc, PredEntry *ap)
|
|||||||
StaticClause *scl;
|
StaticClause *scl;
|
||||||
|
|
||||||
scl = ClauseCodeToStaticClause(pc);
|
scl = ClauseCodeToStaticClause(pc);
|
||||||
return scl->ClFlags & HasCutMask ? 1 : 0;
|
return ( (scl->ClFlags & HasCutMask) != 0);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1 +1 @@
|
|||||||
Subproject commit d41891071193a6c9d20b30bdbe709531948e111b
|
Subproject commit b1c05f2dfba27286d3810c6921d027cecd528b01
|
Reference in New Issue
Block a user