summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-01-08 13:27:00 +0800
committerAlan Mishchenko <alanmi@berkeley.edu>2013-01-08 13:27:00 +0800
commit25e27a3a3e9e4f5f8835343479b5021ba68e09e0 (patch)
tree9c60902da6bba8b2cbea3ae401ad57d180c1a73e /src
parent1780130f0850644db3c1314b65a9095cbd6b776a (diff)
downloadabc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.tar.gz
abc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.tar.bz2
abc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.zip
Fixing C++ compilation issues.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaIf.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index a1df0e50..0bcdc10a 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -632,7 +632,7 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp )
if ( pIfMan == NULL )
return NULL;
if ( p->pManTime )
- pIfMan->pManTim = Tim_ManDup( p->pManTime, 0 );
+ pIfMan->pManTim = Tim_ManDup( (Tim_Man_t *)p->pManTime, 0 );
if ( !If_ManPerformMapping( pIfMan ) )
{
If_ManStop( pIfMan );