From f0b67951948c486d724914aa8f9c51b4f119d670 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 30 Mar 2014 23:48:20 -0700
Subject: Improving cut computation.

---
 src/map/if/ifMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index fff00c0a..a479e093 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -218,7 +218,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
         pCut->fCompl = 0;
         pCut->iCutFunc = -1;
         pCut->iCutDsd = -1;
-        if ( p->pPars->fTruth && !p->pPars->fUseTtPerm )
+        if ( p->pPars->fTruth )//&& !p->pPars->fUseTtPerm )
         {
 //            abctime clk = Abc_Clock();
             if ( p->pPars->fUseTtPerm )
-- 
cgit v1.2.3