diff options
Diffstat (limited to 'src/aig/int/intCtrex.c')
| -rw-r--r-- | src/aig/int/intCtrex.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/int/intCtrex.c b/src/aig/int/intCtrex.c index 5e417ce0..4cbe2007 100644 --- a/src/aig/int/intCtrex.c +++ b/src/aig/int/intCtrex.c @@ -66,7 +66,10 @@ Aig_Man_t * Inter_ManFramesBmc( Aig_Man_t * pAig, int nFrames ) break; // transfer to register outputs Saig_ManForEachLiLo( pAig, pObjLi, pObjLo, i ) - pObjLo->pData = pObjLi->pData = Aig_ObjChild0Copy(pObjLi); + pObjLi->pData = Aig_ObjChild0Copy(pObjLi); + // transfer to register outputs + Saig_ManForEachLiLo( pAig, pObjLi, pObjLo, i ) + pObjLo->pData = pObjLi->pData; } // create POs for the output of the last frame pObj = Aig_ManPo( pAig, 0 ); |