diff options
Diffstat (limited to 'src/base/ver/verCore.c')
-rw-r--r-- | src/base/ver/verCore.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 1a924c31..4c40346c 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -2051,10 +2051,6 @@ int Ver_ParseConnectBox( Ver_Man_t * pMan, Abc_Obj_t * pBox ) assert( Ver_NtkIsDefined(pNtkBox) ); assert( !Abc_NtkHasBlackbox(pNtkBox) || Abc_NtkBoxNum(pNtkBox) == 1 ); - if ( !strcmp(pNtkBox->pName,"add_4u_4u") ) - { - int s = 0; - } /* // clean the PI/PO nets Abc_NtkForEachPi( pNtkBox, pTerm, i ) |