summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-06-10 21:34:37 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-06-10 21:34:37 -0700
commita3ae0afed0a380bfc028d815b1148b0e9df40656 (patch)
tree8f0bfdd631e334d61d72b08a107296265a7b03d3
parent577e3e9a7a35fa68105668245eade3f68c952ac3 (diff)
downloadabc-a3ae0afed0a380bfc028d815b1148b0e9df40656.tar.gz
abc-a3ae0afed0a380bfc028d815b1148b0e9df40656.tar.bz2
abc-a3ae0afed0a380bfc028d815b1148b0e9df40656.zip
Various modifications.
-rw-r--r--src/misc/extra/extraUtilEnum.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilEnum.c b/src/misc/extra/extraUtilEnum.c
index 413b8ae9..6bc0c672 100644
--- a/src/misc/extra/extraUtilEnum.c
+++ b/src/misc/extra/extraUtilEnum.c
@@ -645,7 +645,7 @@ void Abc_EnumerateFuncs( int nVars, int nGates, int fVerbose )
{
abctime clk = Abc_Clock();
Abc_EnuMan_t P, * p = &P;
- int i, n = nVars;
+ int i;
if ( nVars > nGates + 1 )
{
printf( "The gate count %d is not enough to have functions with %d inputs.\n", nGates, nVars );