Various modifications.

This commit is contained in:
Alan Mishchenko 2014-06-10 21:34:37 -07:00
parent 577e3e9a7a
commit a3ae0afed0
1 changed files with 1 additions and 1 deletions

View File

@ -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 );