summaryrefslogtreecommitdiffstats
path: root/src/aig/int
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/int')
-rw-r--r--src/aig/int/intCheck.c2
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 );