From 790ea6545f5ed1bae248548038cde7901ee2361e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 17 Sep 2012 01:01:47 -0700 Subject: Moving binary IO streams to the vector package. --- src/proof/abs/absGla.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/abs/absGla.c b/src/proof/abs/absGla.c index 1369015d..80ef6ccf 100644 --- a/src/proof/abs/absGla.c +++ b/src/proof/abs/absGla.c @@ -1833,7 +1833,7 @@ finish: if ( !p->fUseNewLine ) Abc_Print( 1, "\n" ); if ( RetValue == 1 ) - Abc_Print( 1, "GLA completed %d frames and proved abstraction derived in frame %d. ", p->pPars->iFrameProved+1, iFrameTryToProve ); + Abc_Print( 1, "GLA completed %d frames and proved abstraction derived in frame %d ", p->pPars->iFrameProved+1, iFrameTryToProve ); else if ( pAig->pCexSeq == NULL ) { Vec_IntFreeP( &pAig->vGateClasses ); -- cgit v1.2.3