diff options
| -rw-r--r-- | src/aig/gia/giaResub.c | 1 | ||||
| -rw-r--r-- | src/map/mio/mioUtils.c | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/aig/gia/giaResub.c b/src/aig/gia/giaResub.c index 4dd8951f..9de0ffb8 100644 --- a/src/aig/gia/giaResub.c +++ b/src/aig/gia/giaResub.c @@ -702,7 +702,6 @@ int Gia_ManFindGateGateInt( word * pOffSet, word * pOnSet, Vec_Ptr_t * vDivs, in int fCompB = Abc_LitIsCompl(iDiv1); int iDiv10 = Abc_Lit2Var(iDiv1 >> 16); int iDiv11 = Abc_Lit2Var(iDiv1 & 0xFFF); - word * pDiv0 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv0)); word * pDiv10 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv10)); word * pDiv11 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv11)); Abc_TtAndCompl( pDivTempB, pDiv10, Abc_LitIsCompl(iDiv10), pDiv11, Abc_LitIsCompl(iDiv11), nWords ); diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index 19b69861..c7180e1c 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -355,7 +355,6 @@ void Mio_WriteLibraryVerilog( FILE * pFile, Mio_Library_t * pLib, int fPrintSops Vec_Ptr_t * vGates = Vec_PtrAlloc( 1000 ); Vec_Ptr_t * vNames = Vec_PtrAlloc( 100 ); int i, nCells; - int fAllPins = fShort || Mio_CheckGates( pLib ); if ( fSelected ) { Mio_Cell2_t * pCells = Mio_CollectRootsNewDefault2( 6, &nCells, 0 ); |