diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 75a0f8010..587680c87 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 );