summaryrefslogtreecommitdiffstats
path: root/src/misc/util/utilTruth.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/util/utilTruth.h')
-rw-r--r--src/misc/util/utilTruth.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index 30508498..476fd66b 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -642,7 +642,7 @@ static inline void Abc_TtPrintDigit( int Digit )
static inline void Abc_TtPrintHex( word * pTruth, int nVars )
{
word * pThis, * pLimit = pTruth + Abc_TtWordNum(nVars);
- int k, nDigits = 1 << (nVars-2);
+ int k;
assert( nVars >= 2 );
for ( pThis = pTruth; pThis < pLimit; pThis++ )
for ( k = 0; k < 16; k++ )
@@ -652,7 +652,7 @@ static inline void Abc_TtPrintHex( word * pTruth, int nVars )
static inline void Abc_TtPrintHexRev( word * pTruth, int nVars )
{
word * pThis;
- int k, nDigits = 1 << (nVars-2);
+ int k;
assert( nVars >= 2 );
for ( pThis = pTruth + Abc_TtWordNum(nVars) - 1; pThis >= pTruth; pThis-- )
for ( k = 15; k >= 0; k-- )
@@ -662,7 +662,7 @@ static inline void Abc_TtPrintHexRev( word * pTruth, int nVars )
static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars )
{
word * pThis;
- int k, nDigits = 1 << (nVars-2);
+ int k;
assert( nVars >= 2 );
for ( pThis = pTruth + Abc_TtWordNum(nVars) - 1; pThis >= pTruth; pThis-- )
for ( k = 0; k < 16; k++ )
@@ -685,7 +685,7 @@ static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars )
static inline void Abc_TtPrintBinary( word * pTruth, int nVars )
{
word * pThis, * pLimit = pTruth + Abc_TtWordNum(nVars);
- int k, nDigits = 1 << (nVars-2);
+ int k;
assert( nVars >= 2 );
for ( pThis = pTruth; pThis < pLimit; pThis++ )
for ( k = 0; k < 64; k++ )