diff options
Diffstat (limited to 'src/aig/nwk/nwkStrash.c')
| -rw-r--r-- | src/aig/nwk/nwkStrash.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/nwk/nwkStrash.c b/src/aig/nwk/nwkStrash.c index 8e49a586..a4ce5e39 100644 --- a/src/aig/nwk/nwkStrash.c +++ b/src/aig/nwk/nwkStrash.c @@ -119,7 +119,7 @@ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) } else if ( Nwk_ObjIsCo(pObj) ) { - pObjNew = Aig_ObjCreatePo( pMan, Aig_NotCond(Nwk_ObjFanin0(pObj)->pCopy, pObj->fCompl) ); + pObjNew = Aig_ObjCreatePo( pMan, Aig_NotCond(Nwk_ObjFanin0(pObj)->pCopy, pObj->fInvert) ); Level = Aig_ObjLevel( pObjNew ); Tim_ManSetCoArrival( pMan->pManTime, pObj->PioId, (float)Level ); } |