diff options
Diffstat (limited to 'src/misc/extra/extraUtilMaj.c')
-rw-r--r-- | src/misc/extra/extraUtilMaj.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilMaj.c b/src/misc/extra/extraUtilMaj.c index 3787593..8bdb081 100644 --- a/src/misc/extra/extraUtilMaj.c +++ b/src/misc/extra/extraUtilMaj.c @@ -370,7 +370,7 @@ int Gem_Enumerate( int nVars, int fDump, int fVerbose ) if ( Gem_FuncReduce( p, f, i, j ) ) return Gem_ManFree( p ); } - printf( "Finished (functions = %10d) ", v, p->nObjs ); + printf( "Finished (functions = %10d) ", p->nObjs ); Abc_PrintTime( 0, "Time", Abc_Clock() - clk ); if ( fDump ) Vec_MemDumpTruthTables( p->vTtMem, "enum", nVars ); Gem_ManFree( p ); |