From e80bd69ed617901612edf9983721b22382c5042a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 20:41:16 -0700 Subject: Adding flushing stdout after printing verbose stats. --- src/proof/pdr/pdrInv.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/proof/pdr/pdrInv.c') diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index 4b096e1b..d4ac82af 100644 --- a/src/proof/pdr/pdrInv.c +++ b/src/proof/pdr/pdrInv.c @@ -84,6 +84,7 @@ void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time ) Abc_Print( 1, "%s", fClose ? "\n":"\r" ); if ( fClose ) p->nQueMax = 0; + fflush( stdout ); } /**Function************************************************************* -- cgit v1.2.3