From 8638b13e72bddb031ae1c7954653d30479e06c1f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 7 Sep 2018 19:40:38 +0300 Subject: Expriments with functions (bug fixes). --- src/misc/extra/extraUtilMaj.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/misc/extra') diff --git a/src/misc/extra/extraUtilMaj.c b/src/misc/extra/extraUtilMaj.c index 3787593d..8bdb0818 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 ); -- cgit v1.2.3