diff options
Diffstat (limited to 'src/base/abci/abcNpn.c')
| -rw-r--r-- | src/base/abci/abcNpn.c | 2 |
1 files changed, 1 insertions, 1 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 ) |