Improvements to the NPN semi-canonical form computation package.

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 )

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;
 }