diff options
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigDual.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/saig/saigDual.c b/src/aig/saig/saigDual.c index 7650c5ca..7a50d4f6 100644 --- a/src/aig/saig/saigDual.c +++ b/src/aig/saig/saigDual.c @@ -208,7 +208,7 @@ Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, Vec_Int_t * vDcFlops, int nDualPi ***********************************************************************/ void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ) { - Aig_Obj_t * pObj, * pCond, * pPrev; + Aig_Obj_t * pObj, * pCond, * pPrev, * pTemp; int i; assert( nCycles > 0 ); // add N flops (assuming 1-hot encoding of cycles) @@ -223,8 +223,8 @@ void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ) // update the POs Saig_ManForEachPo( pAig, pObj, i ) { - pCond = Aig_And( pAig, Aig_ObjChild0(pObj), pCond ); - Aig_ObjPatchFanin0( pAig, pObj, pCond ); + pTemp = Aig_And( pAig, Aig_ObjChild0(pObj), pCond ); + Aig_ObjPatchFanin0( pAig, pObj, pTemp ); } // set the flops Aig_ManSetRegNum( pAig, Aig_ManRegNum(pAig) + nCycles ); |