diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 01:31:44 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 01:31:44 -0800 |
commit | 7fa9de2da4fe215ddabe4a89d038263df9b9c30f (patch) | |
tree | 6248d70f401b84b962c1ef0482af3306b3a1ce1a /src/proof/pdr/pdrInv.c | |
parent | c47dc99a9402b57762073a786ac71027509a537b (diff) | |
download | abc-7fa9de2da4fe215ddabe4a89d038263df9b9c30f.tar.gz abc-7fa9de2da4fe215ddabe4a89d038263df9b9c30f.tar.bz2 abc-7fa9de2da4fe215ddabe4a89d038263df9b9c30f.zip |
Redirecting printf messages.
Diffstat (limited to 'src/proof/pdr/pdrInv.c')
-rw-r--r-- | src/proof/pdr/pdrInv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index 1cb18afd..de21bdeb 100644 --- a/src/proof/pdr/pdrInv.c +++ b/src/proof/pdr/pdrInv.c @@ -78,8 +78,8 @@ void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, int Time ) for ( i = ThisSize; i < 70; i++ ) Abc_Print( 1, " " ); Abc_Print( 1, "%6d", p->nQueMax ); - printf(" %8.2f sec", (float)(Time)/(float)(CLOCKS_PER_SEC)); - printf("%s", fClose ? "\n":"\r" ); + Abc_Print( 1, " %8.2f sec", (float)(Time)/(float)(CLOCKS_PER_SEC) ); + Abc_Print( 1, "%s", fClose ? "\n":"\r" ); if ( fClose ) p->nQueMax = 0; } |