Fixing C++ compilation issues.

81a1d970 · Alan Mishchenko · a8dad4ed · 81a1d970
Commit 81a1d970 authored Jan 08, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

src/base/abci/abcTim.c
+3 -3

No files found.
--- a/src/base/abci/abcTim.c
+++ b/src/base/abci/abcTim.c
@@ -381,9 +381,9 @@ Gia_Man_t * Abc_NtkTestTimDeriveGia( Abc_Ntk_t * pNtk, int fVerbose )
    vArrTimes = Abc_NtkTestCreateArrivals( Abc_NtkPiNum(pNtk) );
    vReqTimes = Abc_NtkTestCreateRequired( Abc_NtkPoNum(pNtk) );

-    Tim_ManPrint( pGia->pManTime );
-    Tim_ManCreate( pGia->pManTime, Abc_FrameReadLibBox(), vArrTimes, vReqTimes );
-    Tim_ManPrint( pGia->pManTime );
+    Tim_ManPrint( (Tim_Man_t *)pGia->pManTime );
+    Tim_ManCreate( (Tim_Man_t *)pGia->pManTime, Abc_FrameReadLibBox(), vArrTimes, vReqTimes );
+    Tim_ManPrint( (Tim_Man_t *)pGia->pManTime );

    Vec_FltFree( vArrTimes );
    Vec_FltFree( vReqTimes );