diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaCut.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCut.c b/src/aig/gia/giaCut.c index 56424124..f70f0fc0 100644 --- a/src/aig/gia/giaCut.c +++ b/src/aig/gia/giaCut.c @@ -631,7 +631,7 @@ void Gia_StoComputeCuts( Gia_Man_t * pGia ) printf( "Cut/Node = %.2f ", p->CutCount[3] / Gia_ManAndNum(p->pGia) ); printf( "\n" ); printf( "The number of nodes with cut count over the limit (%d cuts) = %d nodes (out of %d). ", - p->nCutSize, p->nCutsOver, Gia_ManAndNum(pGia) ); + p->nCutNum, p->nCutsOver, Gia_ManAndNum(pGia) ); Abc_PrintTime( 0, "Time", Abc_Clock() - p->clkStart ); } Gia_StoFree( p ); |