diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-17 01:01:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-17 01:01:47 -0700 |
| commit | 790ea6545f5ed1bae248548038cde7901ee2361e (patch) | |
| tree | 9416e8874ac3beeb9026c0da6f035f62a2bda551 /src/proof/abs/absGla.c | |
| parent | 7e843d64a934e731943d5975bb9255ebc1cfc719 (diff) | |
| download | abc-790ea6545f5ed1bae248548038cde7901ee2361e.tar.gz abc-790ea6545f5ed1bae248548038cde7901ee2361e.tar.bz2 abc-790ea6545f5ed1bae248548038cde7901ee2361e.zip | |
Moving binary IO streams to the vector package.
Diffstat (limited to 'src/proof/abs/absGla.c')
| -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 ); |