From 8c369788b310a8a1aa52a937c94df1327e13417a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Sep 2012 13:20:18 -0700
Subject: Improvements to the NPN semi-canonical form computation package.

---
 src/base/abci/abcNpn.c       | 2 +-
 src/bool/lucky/luckySimple.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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;
 }
-- 
cgit v1.2.3