From 79f782c0e86fa5cf2500bc6cdd302a42af4f335b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 4 May 2013 20:37:14 -0700
Subject: C++ compiler errors.

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

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 75a0f801..587680c8 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -339,7 +339,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch, int fCut )
     if ( p->pPlacement )
         Gia_ManPrintPlacement( p );
     if ( p->pManTime )
-        Tim_ManPrintStats( p->pManTime, p->nAnd2Delay );
+        Tim_ManPrintStats( (Tim_Man_t *)p->pManTime, p->nAnd2Delay );
     // print register classes
     Gia_ManPrintFlopClasses( p );
     Gia_ManPrintGateClasses( p );
-- 
cgit v1.2.3