diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 21:49:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-03 21:49:18 -0700 |
| commit | 56d3d7cd22f761004139a0512681eac57e638cfc (patch) | |
| tree | 524b94bee7e1dfbdf14c8ff1dbba271a97abaf13 /src/base/abci/abcTim.c | |
| parent | 63c95405439b464f6d801e68c15f767bc6336637 (diff) | |
| download | abc-56d3d7cd22f761004139a0512681eac57e638cfc.tar.gz abc-56d3d7cd22f761004139a0512681eac57e638cfc.tar.bz2 abc-56d3d7cd22f761004139a0512681eac57e638cfc.zip | |
C++ portability changes.
Diffstat (limited to 'src/base/abci/abcTim.c')
| -rw-r--r-- | src/base/abci/abcTim.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcTim.c b/src/base/abci/abcTim.c index a9cc4b96..35f1186d 100644 --- a/src/base/abci/abcTim.c +++ b/src/base/abci/abcTim.c @@ -385,11 +385,11 @@ void Abc_NtkTestTim( Abc_Ntk_t * pNtk, int fVerbose ) // create GIA manager (pGia) with hierarhy/timing manager attached (pGia->pManTime) // while assuming that some nodes are white boxes (see Abc_NodeIsWhiteBox) pGia = Abc_NtkTestTimDeriveGia( pNtk, fVerbose ); - printf( "Created GIA manager for network with %d white boxes.\n", Tim_ManBoxNum(pGia->pManTime) ); + printf( "Created GIA manager for network with %d white boxes.\n", Tim_ManBoxNum((Tim_Man_t *)pGia->pManTime) ); // print the timing manager if ( fVerbose ) - Tim_ManPrint( pGia->pManTime ); + Tim_ManPrint( (Tim_Man_t *)pGia->pManTime ); // test writing both managers into a file and reading them back Abc_NtkTestTimByWritingFile( pGia, "test1.aig" ); |