diff options
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/abs/absGla.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |