From b9274a07deec99f6b9e23d3bf481b2e5213c5e8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 11 Apr 2014 08:57:03 -0700
Subject: Improvements to DSD in technology mapping.

---
 src/map/if/ifMan.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/map/if/ifMan.c')

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;
-- 
cgit v1.2.3