diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcExtract.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/abci/abcExtract.c b/src/base/abci/abcExtract.c index 100f88e1..e718c8ce 100644 --- a/src/base/abci/abcExtract.c +++ b/src/base/abci/abcExtract.c @@ -220,10 +220,6 @@ Vec_Wrd_t * Abc_NtkShareSuperAnd( Abc_Obj_t * pObj, int * pCounter ) } Vec_WrdForEachEntry( vSuper, Num, i ) Vec_WrdWriteEntry( vSuper, i, Abc_NtkShareUnpackId(Num) ); - if ( Vec_WrdSize(vSuper) == 1 ) - { - int s = 0; - } return vSuper; } |