From a8d75dcc60da15644efbd20529609a1495df229a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 10 Jul 2007 08:01:00 -0700 Subject: Version abc70710 --- src/aig/fra/fraCnf.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/fra/fraCnf.c') diff --git a/src/aig/fra/fraCnf.c b/src/aig/fra/fraCnf.c index 18a5ceb6..a662ade2 100644 --- a/src/aig/fra/fraCnf.c +++ b/src/aig/fra/fraCnf.c @@ -209,6 +209,7 @@ Vec_Ptr_t * Fra_CollectSuper( Dar_Obj_t * pObj, int fUseMuxes ) ***********************************************************************/ void Fra_ObjAddToFrontier( Fra_Man_t * p, Dar_Obj_t * pObj, Vec_Ptr_t * vFrontier ) { + Fra_Man_t * pTemp = pObj->pData; assert( !Dar_IsComplement(pObj) ); if ( Fra_ObjSatNum(pObj) ) return; -- cgit v1.2.3