diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
| commit | a8d75dcc60da15644efbd20529609a1495df229a (patch) | |
| tree | 2ff1676ca093b5fc6c4684d59212fc24e030ffb1 /src/aig/fra/fraCnf.c | |
| parent | 39bc4842e9a3e0c443df5e585bfdece76320870a (diff) | |
| download | abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.gz abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.bz2 abc-a8d75dcc60da15644efbd20529609a1495df229a.zip | |
Version abc70710
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; |