diff options
Diffstat (limited to 'src/aig/fra/fraCnf.c')
| -rw-r--r-- | src/aig/fra/fraCnf.c | 1 |
1 files changed, 1 insertions, 0 deletions
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; |