From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Jul 2008 08:01:00 -0700
Subject: Version abc80702

---
 src/aig/mfx/mfxCore.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/aig/mfx')

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;
-- 
cgit v1.2.3