diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
| commit | 8c369788b310a8a1aa52a937c94df1327e13417a (patch) | |
| tree | 08d66b18c92a9b96992c9b8ef5985bfe49fdb2a6 /src/base | |
| parent | 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 (diff) | |
| download | abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.gz abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.bz2 abc-8c369788b310a8a1aa52a937c94df1327e13417a.zip | |
Improvements to the NPN semi-canonical form computation package.
Diffstat (limited to 'src/base')
| -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 ) |