diff options
Diffstat (limited to 'src/aig/ivy')
| -rw-r--r-- | src/aig/ivy/ivyMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ivy/ivyMan.c b/src/aig/ivy/ivyMan.c index 07faef85..66c279cf 100644 --- a/src/aig/ivy/ivyMan.c +++ b/src/aig/ivy/ivyMan.c @@ -462,6 +462,7 @@ void Ivy_ManPrintStats( Ivy_Man_t * p ) // printf( "Del = %d. ", p->nDeleted ); printf( "Lev = %3d. ", Ivy_ManLatchNum(p)? -1 : Ivy_ManLevels(p) ); printf( "\n" ); + fflush( stdout ); } /**Function************************************************************* |