diff options
| -rw-r--r-- | src/base/abci/abcTim.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcTim.c b/src/base/abci/abcTim.c index 389b451a..504e6bc8 100644 --- 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 ); |