diff options
| -rw-r--r-- | src/aig/gia/giaStoch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaStoch.c b/src/aig/gia/giaStoch.c index 390deb26..1261a311 100644 --- a/src/aig/gia/giaStoch.c +++ b/src/aig/gia/giaStoch.c @@ -307,7 +307,7 @@ void Gia_ManStochSyn( int nMaxSize, int nIters, int TimeOut, int Seed, int fVerb nEnd = Gia_ManAndNum(Abc_FrameReadGia(Abc_FrameGetGlobalFrame())); if ( fVerbose ) printf( "Cumulatively reduced %d AIG nodes after %d iterations. ", - nBeg - nEnd, nIters, (float)1.0*(Abc_Clock() - clkStart)/CLOCKS_PER_SEC ); + nBeg - nEnd, nIters ); if ( fVerbose ) Abc_PrintTime( 0, "Total time", Abc_Clock() - clkStart ); } |