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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci')

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