diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaNf.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 06ae7c43..683aea5c 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1227,10 +1227,8 @@ static inline void Nf_ObjPrepareBuf( Nf_Man_t * p, Gia_Obj_t * pObj ) static inline word Nf_CutRequired( Nf_Man_t * p, Nf_Mat_t * pM, int * pCutSet ) { Mio_Cell2_t * pCell = Nf_ManCell( p, pM->Gate ); - int * pCut = Nf_CutFromHandle( pCutSet, pM->CutH ); - int * pFans = Nf_CutLeaves(pCut); - int i, nFans = Nf_CutSize(pCut); - int iVar, fCompl; + int * pCut = Nf_CutFromHandle( pCutSet, pM->CutH ); + int i, iVar, fCompl; word Arr, Req, Arrival = 0, Required = 0; Nf_CutForEachVarCompl( pCut, pM->Cfg, iVar, fCompl, i ) { |