Logic sharing for multi-input gates (silencing a warning).

3992e344 · Alan Mishchenko · a21f2986 · 3992e344
Commit 3992e344 authored Mar 27, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

src/base/abci/abcExtract.c
+0 -4

No files found.
--- 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;
 }