From 59bf6945e2481afd8b16fd8c7075bc349d1fbb68 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Feb 2014 07:58:23 -0800
Subject: g++ compiler errors.

---
 src/aig/gia/giaIff.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit v1.2.3