summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-27 21:59:13 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-27 21:59:13 -0700
commit3992e344ea4849ad9ae4febbc2404e3a476f6fbe (patch)
tree2aa48929326999a2257cff266610359ee073661f /src
parenta21f2986aa907e5cf484cd7cd467290d192bf816 (diff)
downloadabc-3992e344ea4849ad9ae4febbc2404e3a476f6fbe.tar.gz
abc-3992e344ea4849ad9ae4febbc2404e3a476f6fbe.tar.bz2
abc-3992e344ea4849ad9ae4febbc2404e3a476f6fbe.zip
Logic sharing for multi-input gates (silencing a warning).
Diffstat (limited to 'src')
-rw-r--r--src/base/abci/abcExtract.c4
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;
}