From a4bca405978e500b7ef2b987d159e3b11b95905f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 14 Oct 2008 08:01:00 -0700 Subject: Version abc81014 --- src/aig/fra/fraInd.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/fra/fraInd.c') diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c index f7674f7d..c8b35b28 100644 --- a/src/aig/fra/fraInd.c +++ b/src/aig/fra/fraInd.c @@ -32,7 +32,7 @@ /**Function************************************************************* - Synopsis [Performs AIG rewriting on the constaint manager.] + Synopsis [Performs AIG rewriting on the constraint manager.] Description [] @@ -536,7 +536,7 @@ p->timeTrav += clock() - clk2; // report the intermediate results if ( pPars->fVerbose ) { - printf( "%3d : Const = %6d. Cl = %6d. L = %6d. LR = %6d. ", + printf( "%3d : C = %6d. Cl = %6d. L = %6d. LR = %6d. ", nIter, Vec_PtrSize(p->pCla->vClasses1), Vec_PtrSize(p->pCla->vClasses), Fra_ClassesCountLits(p->pCla), p->pManFraig->nAsserts ); if ( p->pCla->vImps ) -- cgit v1.2.3