From 0ff0a552a5a14bc7da2c0c4b70f24dce64c48ceb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 27 Oct 2011 14:23:43 -0700 Subject: Improvements to the new abstraction code. --- src/aig/saig/saigGlaPba.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/saig/saigGlaPba.c b/src/aig/saig/saigGlaPba.c index df398f21..aed78f36 100644 --- a/src/aig/saig/saigGlaPba.c +++ b/src/aig/saig/saigGlaPba.c @@ -315,8 +315,8 @@ int Aig_Gla2CreateSatSolver( Aig_Gla2Man_t * p ) sat_solver_store_mark_roots( p->pSat ); if ( p->fVerbose ) - printf( "The resulting SAT problem contains %d vars, %d clauses, and %d literals.\n", - p->pSat->size, p->pSat->stats.clauses, p->pSat->stats.tot_literals ); + printf( "The resulting SAT problem contains %d variables and %d clauses.\n", + p->pSat->size, p->pSat->stats.clauses ); return RetValue; } -- cgit v1.2.3