diff options
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abcTim.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abci/abcTim.c b/src/base/abci/abcTim.c index 504e6bc8..1f1b28f4 100644 --- a/src/base/abci/abcTim.c +++ b/src/base/abci/abcTim.c @@ -87,6 +87,8 @@ int Abc_NtkTestTimNodeStrash( Gia_Man_t * pGia, Abc_Obj_t * pNode ) } +#if 0 + /**Function************************************************************* Synopsis [Derives GIA manager using special pins to denote box boundaries.] @@ -174,6 +176,7 @@ void Abc_NtkTestPinGia( Abc_Ntk_t * pNtk, int fWhiteBoxOnly, int fVerbose ) Abc_NtkName(pNtk), pFileName ); } +#endif /**Function************************************************************* |