summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-05-04 20:36:20 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-05-04 20:36:20 -0700
commita11370946ba6f5280267ff4861a494df94636867 (patch)
tree167e8f9e3899c6883635e31fd51ee91213a7fdbf /src
parentaf6442a3ed822b7131f3c1937126cd6454736eb5 (diff)
downloadabc-a11370946ba6f5280267ff4861a494df94636867.tar.gz
abc-a11370946ba6f5280267ff4861a494df94636867.tar.bz2
abc-a11370946ba6f5280267ff4861a494df94636867.zip
C++ compiler errors.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaAiger.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index e30d88de..237566e5 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -1155,7 +1155,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
if ( p->pManTime )
{
float * pTimes;
- pTimes = Tim_ManGetArrTimes( p->pManTime );
+ pTimes = Tim_ManGetArrTimes( (Tim_Man_t *)p->pManTime );
if ( pTimes )
{
fprintf( pFile, "i" );
@@ -1164,7 +1164,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
ABC_FREE( pTimes );
if ( fVerbose ) printf( "Finished writing extension \"i\".\n" );
}
- pTimes = Tim_ManGetReqTimes( p->pManTime );
+ pTimes = Tim_ManGetReqTimes( (Tim_Man_t *)p->pManTime );
if ( pTimes )
{
fprintf( pFile, "o" );