diff options
| -rw-r--r-- | src/aig/gia/giaMinLut2.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/gia/giaMinLut2.c b/src/aig/gia/giaMinLut2.c index 277ce949..85cae0d2 100644 --- a/src/aig/gia/giaMinLut2.c +++ b/src/aig/gia/giaMinLut2.c @@ -536,7 +536,6 @@ static inline word Abc_TtSimple6Min_rec( Gia_Man_t * p, word uF, word uC, int nV if ( 1 && vNodes ) { int iLit; - int s = 0; Vec_WrdForEachEntryDouble( vNodes, uRes2, iLit, i ) if ( !((uF ^ uRes2) & uC) ) { |