diff options
Diffstat (limited to 'src/base/abci/abcVanImp.c')
-rw-r--r-- | src/base/abci/abcVanImp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcVanImp.c b/src/base/abci/abcVanImp.c index c92667a3..77de5185 100644 --- a/src/base/abci/abcVanImp.c +++ b/src/base/abci/abcVanImp.c @@ -870,7 +870,7 @@ Abc_Ntk_t * Abc_NtkVanImpDeriveExdc( Abc_Ntk_t * pNtk, Vec_Ptr_t * vZeros, Vec_I { Abc_Ntk_t * pNtkNew; Vec_Ptr_t * vCone; - Abc_Obj_t * pObj, * pMiter, * pTotal, * pNode, * pNode1, * pNode2, * pObjNew; + Abc_Obj_t * pObj, * pMiter, * pTotal, * pNode, * pNode1, * pNode2;//, * pObjNew; unsigned Imp; int i, k; |