diff options
| -rw-r--r-- | src/base/abci/abcTiming.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 9aaf8b9f..2777c9f8 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -485,7 +485,7 @@ void Abc_NtkTimePrepare( Abc_Ntk_t * pNtk ) ***********************************************************************/ Abc_ManTime_t * Abc_ManTimeStart( Abc_Ntk_t * pNtk ) { - int fUseZeroDefaultOutputRequired = 1; + //int fUseZeroDefaultOutputRequired = 1; Abc_ManTime_t * p; Abc_Time_t* pTime; Abc_Obj_t * pObj; int i; |