C++ compiler errors.

79f782c0 · Alan Mishchenko · a1137094 · 79f782c0
Commit 79f782c0 authored May 04, 2013 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaMan.c
+1 -1

No files found.
--- 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 );