diff options
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 61c8df5d..6628a70a 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -484,7 +484,8 @@ void If_ManSetupCutTriv( If_Man_t * p, If_Cut_t * pCut, int ObjId ) pCut->pLeaves[0] = p->pPars->fLiftLeaves? (ObjId << 8) : ObjId; pCut->uSign = If_ObjCutSign( pCut->pLeaves[0] ); pCut->iCutFunc = p->pPars->fUseTtPerm ? 3 : (p->pPars->fTruth ? 2: -1); - pCut->iCutDsd = p->pPars->fUseTtPerm ? 0 : (p->pPars->fUseDsd ? 2: -1); +// pCut->iCutDsd = p->pPars->fUseTtPerm ? 0 : (p->pPars->fUseDsd ? 2: -1); + pCut->uMaskFunc = 0; assert( pCut->pLeaves[0] < p->vObjs->nSize ); if ( p->pPars->fUseDsd ) pCut->pPerm[0] = 0; |