diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 19:40:38 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 19:40:38 +0300 |
| commit | 8638b13e72bddb031ae1c7954653d30479e06c1f (patch) | |
| tree | 87305c940da53380830774f12f3210c8d990fbee /src/misc/extra | |
| parent | 197c65be0b8275deb1508b7bde08fce2216d5064 (diff) | |
| download | abc-8638b13e72bddb031ae1c7954653d30479e06c1f.tar.gz abc-8638b13e72bddb031ae1c7954653d30479e06c1f.tar.bz2 abc-8638b13e72bddb031ae1c7954653d30479e06c1f.zip | |
Expriments with functions (bug fixes).
Diffstat (limited to 'src/misc/extra')
| -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 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 ); |