diff options
Diffstat (limited to 'src/aig/gia/giaAiger.c')
-rw-r--r-- | src/aig/gia/giaAiger.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 83db57d8..a52a6d81 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -679,9 +679,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS if ( fHieOnly ) { - Tim_ManPrint( pNew->pManTime ); - Tim_ManCreate( pNew->pManTime, Abc_FrameReadLibBox(), pNew->vInArrs, pNew->vOutReqs ); - Tim_ManPrint( pNew->pManTime ); + Tim_ManPrint( (Tim_Man_t *)pNew->pManTime ); + Tim_ManCreate( (Tim_Man_t *)pNew->pManTime, Abc_FrameReadLibBox(), pNew->vInArrs, pNew->vOutReqs ); + Tim_ManPrint( (Tim_Man_t *)pNew->pManTime ); Vec_FltFreeP( &pNew->vInArrs ); Vec_FltFreeP( &pNew->vOutReqs ); } @@ -1060,14 +1060,14 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int if ( Tim_ManGetArrsReqs( p->pManTime, &vArrTimes, &vReqTimes ) ) { fprintf( pFile, "i" ); - Gia_FileWriteBufferSize( pFile, 4*Tim_ManPiNum(p->pManTime) ); - assert( Vec_FltSize(vArrTimes) == Tim_ManPiNum(p->pManTime) ); - fwrite( Vec_FltArray(vArrTimes), 1, 4*Gia_ManPiNum(p->pManTime), pFile ); + Gia_FileWriteBufferSize( pFile, 4*Tim_ManPiNum((Tim_Man_t *)p->pManTime) ); + assert( Vec_FltSize(vArrTimes) == Tim_ManPiNum((Tim_Man_t *)p->pManTime) ); + fwrite( Vec_FltArray(vArrTimes), 1, 4*Gia_ManPiNum(p), pFile ); fprintf( pFile, "o" ); - Gia_FileWriteBufferSize( pFile, 4*Tim_ManPoNum(p->pManTime) ); - assert( Vec_FltSize(vReqTimes) == Tim_ManPoNum(p->pManTime) ); - fwrite( Vec_FltArray(vReqTimes), 1, 4*Gia_ManPoNum(p->pManTime), pFile ); + Gia_FileWriteBufferSize( pFile, 4*Tim_ManPoNum((Tim_Man_t *)p->pManTime) ); + assert( Vec_FltSize(vReqTimes) == Tim_ManPoNum((Tim_Man_t *)p->pManTime) ); + fwrite( Vec_FltArray(vReqTimes), 1, 4*Gia_ManPoNum(p), pFile ); Vec_FltFree( vArrTimes ); Vec_FltFree( vReqTimes ); |