diff options
| -rw-r--r-- | src/aig/saig/saigGlaPba.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } |