diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:23:52 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:23:52 +0800 |
| commit | 394bc276d237bcdab43ec9060fd5e87d6c90856e (patch) | |
| tree | 05d24b2655e171a5abd4c6d97a0311d29d25e51b | |
| parent | b6ab511310a7f0b80e9af363e4535f69f623f64f (diff) | |
| download | abc-394bc276d237bcdab43ec9060fd5e87d6c90856e.tar.gz abc-394bc276d237bcdab43ec9060fd5e87d6c90856e.tar.bz2 abc-394bc276d237bcdab43ec9060fd5e87d6c90856e.zip | |
Fixing C++ compilation issues.
| -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 ); |