diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
| commit | 3f2899d6ea1a141f40d7fdfe4556bb349d53c250 (patch) | |
| tree | f364e1b2a6fd9f257822dfe27e0f41ac8e9c958d /src/misc/util/utilTruth.h | |
| parent | 8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada (diff) | |
| download | abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.gz abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.bz2 abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.zip | |
Compiler warnings.
Diffstat (limited to 'src/misc/util/utilTruth.h')
| -rw-r--r-- | src/misc/util/utilTruth.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index b8a34da7..d77ed64d 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -2612,7 +2612,7 @@ static inline int Abc_TtProcessBiDec( word * pTruth, int nVars, int nSuppLim ) static inline void Abc_TtProcessBiDecTest( word * pTruth, int nVars, int nSuppLim ) { word This, That, pTemp[64]; - int Res, resThis, resThat, nThis, nThat; + int Res, resThis, resThat;//, nThis, nThat; int nWords = Abc_TtWordNum(nVars); Abc_TtCopy( pTemp, pTruth, nWords, 0 ); Res = Abc_TtProcessBiDec( pTemp, nVars, nSuppLim ); @@ -2634,8 +2634,8 @@ static inline void Abc_TtProcessBiDecTest( word * pTruth, int nVars, int nSuppLi // Dau_DsdPrintFromTruth( pTemp, nVars ); - nThis = Abc_TtBitCount16(resThis); - nThat = Abc_TtBitCount16(resThat); + //nThis = Abc_TtBitCount16(resThis); + //nThat = Abc_TtBitCount16(resThat); printf( "Variable sets: " ); Abc_TtPrintVarSet( resThis, nVars ); |