diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-06 20:34:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-06 20:34:53 -0700 |
| commit | e56a767640e57df42f463792333e5a1ff817a65e (patch) | |
| tree | 02f901eb660d706cd871ee671e7337aa82f8cac8 | |
| parent | 227b0c775b0d61aee54423cc22a3f6644b2c2bb7 (diff) | |
| download | abc-e56a767640e57df42f463792333e5a1ff817a65e.tar.gz abc-e56a767640e57df42f463792333e5a1ff817a65e.tar.bz2 abc-e56a767640e57df42f463792333e5a1ff817a65e.zip | |
Compiler warning.
| -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 ); } |