From 97e620a4b7e926a036447e2b1d2b1b6e5a24eacd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 16 Aug 2014 18:28:41 -0700
Subject: Adding specialized matching to 'if'.

---
 src/base/abci/abcIf.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c
index 51b2e66c..06c290f9 100644
--- a/src/base/abci/abcIf.c
+++ b/src/base/abci/abcIf.c
@@ -494,6 +494,8 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t
                     if ( If_CutLeafBit(pCutBest, i) )
                         Abc_TtFlip( pTruth, Abc_TtWordNum(pCutBest->nLeaves), i );
             pNodeNew->pData = Kit_TruthToHop( (Hop_Man_t *)pNtkNew->pManFunc, (unsigned *)pTruth, If_CutLeaveNum(pCutBest), vCover );
+//            if ( pIfMan->pPars->fUseBat )
+//                Bat_ManFuncPrintCell( *pTruth );
         }
         // complement the node if the cut was complemented
         if ( pCutBest->fCompl && !pIfMan->pPars->fDelayOpt && !pIfMan->pPars->fDsdBalance )
-- 
cgit v1.2.3