diff options
| -rw-r--r-- | src/base/abci/abcNpn.c | 2 | ||||
| -rw-r--r-- | src/bool/lucky/luckySimple.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index c1cb4ae0..0ca6c70b 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -177,7 +177,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) char pCanonPerm[16]; unsigned uCanonPhase=0; clock_t clk = clock(); - int i, maxCtr=0; + int i; char * pAlgoName = NULL; if ( NpnType == 0 ) diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c index 52e5e13d..c38fc28c 100644 --- a/src/bool/lucky/luckySimple.c +++ b/src/bool/lucky/luckySimple.c @@ -87,7 +87,7 @@ int oneBitPosition(int x, int size) { int i; for(i=0;i<size;i++) - if((x>>i)&1 == 1) + if((x>>i)&1) return i; return -1; } |