Commit a1137094 by Alan Mishchenko

C++ compiler errors.

parent af6442a3
...@@ -1155,7 +1155,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1155,7 +1155,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
if ( p->pManTime ) if ( p->pManTime )
{ {
float * pTimes; float * pTimes;
pTimes = Tim_ManGetArrTimes( p->pManTime ); pTimes = Tim_ManGetArrTimes( (Tim_Man_t *)p->pManTime );
if ( pTimes ) if ( pTimes )
{ {
fprintf( pFile, "i" ); fprintf( pFile, "i" );
...@@ -1164,7 +1164,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1164,7 +1164,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
ABC_FREE( pTimes ); ABC_FREE( pTimes );
if ( fVerbose ) printf( "Finished writing extension \"i\".\n" ); if ( fVerbose ) printf( "Finished writing extension \"i\".\n" );
} }
pTimes = Tim_ManGetReqTimes( p->pManTime ); pTimes = Tim_ManGetReqTimes( (Tim_Man_t *)p->pManTime );
if ( pTimes ) if ( pTimes )
{ {
fprintf( pFile, "o" ); fprintf( pFile, "o" );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment