From 4abb1ce8a45d115567a125c6b2b00d48f6776aff Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Feb 2017 21:11:45 -0800 Subject: Commenting out uncommented message. --- src/sat/bsat/satSolver.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index efe8efa6..37e0ea94 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1456,7 +1456,7 @@ void sat_solver_reducedb(sat_solver* s) s->nDBreduces++; - printf( "Calling reduceDB with %d learned clause limit.\n", s->nLearntMax ); + //printf( "Calling reduceDB with %d learned clause limit.\n", s->nLearntMax ); s->nLearntMax = s->nLearntStart + s->nLearntDelta * s->nDBreduces; // return; -- cgit v1.2.3