diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-13 08:01:00 -0700 |
| commit | 2dc38429884b93a04ef917cf75602437b421adf1 (patch) | |
| tree | cb8d36ee9dd244359ce2e0da481af5828fc57925 /src/aig/nwk/nwkStrash.c | |
| parent | d8ddea4466d545c7c86d82b24365bc22a6ebd129 (diff) | |
| download | abc-2dc38429884b93a04ef917cf75602437b421adf1.tar.gz abc-2dc38429884b93a04ef917cf75602437b421adf1.tar.bz2 abc-2dc38429884b93a04ef917cf75602437b421adf1.zip | |
Version abc80413
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 ); } |