diff options
Diffstat (limited to 'src/aig/mfx/mfxCore.c')
| -rw-r--r-- | src/aig/mfx/mfxCore.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/mfx/mfxCore.c b/src/aig/mfx/mfxCore.c index 48107e7e..a7cd3e3c 100644 --- a/src/aig/mfx/mfxCore.c +++ b/src/aig/mfx/mfxCore.c @@ -198,7 +198,6 @@ int Mfx_Perform( Nwk_Man_t * pNtk, Mfx_Par_t * pPars, If_Lib_t * pLutLib ) Bdc_Par_t Pars = {0}, * pDecPars = &Pars; Bar_Progress_t * pProgress; Mfx_Man_t * p; - Tim_Man_t * pManTimeOld = NULL; Nwk_Obj_t * pObj; Vec_Vec_t * vLevels; Vec_Ptr_t * vNodes; |