diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:27:00 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:27:00 +0800 |
commit | 25e27a3a3e9e4f5f8835343479b5021ba68e09e0 (patch) | |
tree | 9c60902da6bba8b2cbea3ae401ad57d180c1a73e | |
parent | 1780130f0850644db3c1314b65a9095cbd6b776a (diff) | |
download | abc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.tar.gz abc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.tar.bz2 abc-25e27a3a3e9e4f5f8835343479b5021ba68e09e0.zip |
Fixing C++ compilation issues.
-rw-r--r-- | src/aig/gia/giaIf.c | 2 |
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 ); |