From 27bb2a684d0888f47bfc2f0ee99399c25989f383 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 May 2011 20:19:45 -0700
Subject: Updated technology mapping.

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

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

diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c
index 58224692..c37f9c04 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -685,7 +685,7 @@ void If_CutSort( If_Man_t * p, If_Set_t * pCutSet, If_Cut_t * pCut )
         return;
     }
 
-    if ( p->pPars->fUseBat && !pCut->fUseless )
+    if ( (p->pPars->fUseBat || p->pPars->fEnableCheck) && !pCut->fUseless )
     {
         If_Cut_t * pFirst = pCutSet->ppCuts[0];
         if ( pFirst->fUseless || If_ManSortCompare(p, pFirst, pCut) == 1 )
-- 
cgit v1.2.3