diff options
Diffstat (limited to 'src/aig/int/intCheck.c')
| -rw-r--r-- | src/aig/int/intCheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/int/intCheck.c b/src/aig/int/intCheck.c index 564813f4..54bb7ad9 100644 --- a/src/aig/int/intCheck.c +++ b/src/aig/int/intCheck.c @@ -84,7 +84,7 @@ Aig_Man_t * Inter_ManUnrollFrames( Aig_Man_t * pAig, int nFrames ) Saig_ManForEachLiLo( pAig, pObjLi, pObjLo, i ) { pObjLo->pData = pObjLi->pData; - Aig_ObjCreatePo( pFrames, pObjLo->pData ); + Aig_ObjCreatePo( pFrames, (Aig_Obj_t *)pObjLo->pData ); } } Aig_ManCleanup( pFrames ); |