diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaResub.c | 1 |
1 files changed, 0 insertions, 1 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 ); |