diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 11:32:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 11:32:24 -0700 |
| commit | ac4962eb2d35d905c2d0ae2d41905e8c4d1df157 (patch) | |
| tree | 73277fb3b794ed3d832926d40624bcb6a24122fa /src/aig/gia | |
| parent | 13dd754a8c0113bebc0ad65def80d4caf5fc9b60 (diff) | |
| download | abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.gz abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.bz2 abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaMfs.c | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaTruth.c | 1 |
2 files changed, 1 insertions, 1 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) ); |