Skip to content

A
abc
Commit 1780130f by Alan Mishchenko
Options

Fixing C++ compilation issues.

parent 394bc276
Showing with 1 additions and 1 deletions
src/aig/gia/giaAiger.c
...@@ -1057,7 +1057,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1057,7 +1057,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
if ( p->pManTime ) if ( p->pManTime )
{ {
Vec_Flt_t * vArrTimes, * vReqTimes; Vec_Flt_t * vArrTimes, * vReqTimes;
if ( Tim_ManGetArrsReqs( p->pManTime, &vArrTimes, &vReqTimes ) ) if ( Tim_ManGetArrsReqs( (Tim_Man_t *)p->pManTime, &vArrTimes, &vReqTimes ) )
{ {
fprintf( pFile, "i" ); fprintf( pFile, "i" );
Gia_FileWriteBufferSize( pFile, 4*Tim_ManPiNum((Tim_Man_t *)p->pManTime) ); Gia_FileWriteBufferSize( pFile, 4*Tim_ManPiNum((Tim_Man_t *)p->pManTime) );
......
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