diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c
index efe8efa66..37e0ea949 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;