diff options
Diffstat (limited to 'src/aig/saig/saigTrans.c')
| -rw-r--r-- | src/aig/saig/saigTrans.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigTrans.c b/src/aig/saig/saigTrans.c index 552ec8f3..9be84e31 100644 --- a/src/aig/saig/saigTrans.c +++ b/src/aig/saig/saigTrans.c @@ -299,7 +299,7 @@ Aig_Man_t * Saig_ManFramesInitialMapped( Aig_Man_t * pAig, int nFrames, int nFra if ( fInit ) pObj->pData = Aig_ObjCreateCi( pFrames ); else - pObj->pData = Aig_ManPi( pFrames, f * Saig_ManPiNum(pAig) + i ); + pObj->pData = Aig_ManCi( pFrames, f * Saig_ManPiNum(pAig) + i ); Saig_ManSetMap1( pAig, pObj, f, Aig_Regular((Aig_Obj_t *)pObj->pData) ); } // add internal nodes of this frame |