summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIff.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-02-25 07:58:23 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2014-02-25 07:58:23 -0800
commit59bf6945e2481afd8b16fd8c7075bc349d1fbb68 (patch)
treec13faaa60d957d40748f08f2a7841d57cc9b0fd0 /src/aig/gia/giaIff.c
parent4216976321197d0fd73e0f61beafa3625e234268 (diff)
downloadabc-59bf6945e2481afd8b16fd8c7075bc349d1fbb68.tar.gz
abc-59bf6945e2481afd8b16fd8c7075bc349d1fbb68.tar.bz2
abc-59bf6945e2481afd8b16fd8c7075bc349d1fbb68.zip
g++ compiler errors.
Diffstat (limited to 'src/aig/gia/giaIff.c')
-rw-r--r--src/aig/gia/giaIff.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIff.c b/src/aig/gia/giaIff.c
index 57578f78..b20da883 100644
--- a/src/aig/gia/giaIff.c
+++ b/src/aig/gia/giaIff.c
@@ -421,7 +421,7 @@ void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose )
if ( pGia->pManTime == NULL )
pGia->pManTime = pTemp = Tim_ManStart( Gia_ManCiNum(pGia), Gia_ManCoNum(pGia) );
// perform timing computation
- p = Gia_ManIffPerform( pGia, pLib, pGia->pManTime, nLutSize, nDegree );
+ p = Gia_ManIffPerform( pGia, pLib, (Tim_Man_t *)pGia->pManTime, nLutSize, nDegree );
// remove timing manager
if ( pGia->pManTime == pTemp )
pGia->pManTime = NULL;