diff options
| -rw-r--r-- | src/aig/gia/giaMfs.c | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaTruth.c | 1 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c index aebbb58e..8a8e3686 100644 --- a/src/aig/gia/giaMfs.c +++ b/src/aig/gia/giaMfs.c @@ -317,6 +317,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, Vec_Int_t * vId2M iLitNew = Vec_IntEntry( vMfs2New, Vec_IntEntry(vArray, 0) ); assert( iLitNew >= 0 ); // create CO + pTruth = Sfm_NodeReadTruth( pNtk, iMfsId ); assert( pTruth[0] == s_ElemVar || ~pTruth[0] == s_ElemVar ); Gia_ManAppendCo( pNew, Abc_LitNotCond(iLitNew, (int)(pTruth[0] != s_ElemVar)) ); } diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c index f8a9e043..0ba2f244 100644 --- a/src/aig/gia/giaTruth.c +++ b/src/aig/gia/giaTruth.c @@ -74,7 +74,6 @@ void Gia_ObjComputeTruthTable6Lut_rec( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTem } word Gia_ObjComputeTruthTable6Lut( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTemp ) { - Gia_Obj_t * pObj = Gia_ManObj( p, iObj ); int i, Fanin; assert( Vec_WrdSize(vTemp) == Gia_ManObjNum(p) ); assert( Gia_ObjIsLut(p, iObj) ); diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 74c697c9..ef973099 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -32061,7 +32061,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Gia_Man_t * pTemp = NULL; +// Gia_Man_t * pTemp = NULL; int c, fVerbose = 0; int nFrames = 3; int fSwitch = 0; |