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/giaMfs.c | |
| parent | 13dd754a8c0113bebc0ad65def80d4caf5fc9b60 (diff) | |
| download | abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.gz abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.bz2 abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaMfs.c')
| -rw-r--r-- | src/aig/gia/giaMfs.c | 1 |
1 files changed, 1 insertions, 0 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)) ); } |