From 13b6395348d99b7e06f11db2f6589a45cc73c0c2 Mon Sep 17 00:00:00 2001 From: Stefan Schubert Date: Mon, 14 Jan 2008 10:52:08 +0000 Subject: [PATCH] reduced looging --- src/solver.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/solver.c b/src/solver.c index 69057c3..4726683 100644 --- a/src/solver.c +++ b/src/solver.c @@ -1325,7 +1325,8 @@ propagate(Solver *solv, int level) { POOL_DEBUG(SAT_DEBUG_PROPAGATE, "popagate for decision %d level %d\n", -pkg, level); printruleelement(solv, SAT_DEBUG_PROPAGATE, 0, -pkg); - printWatches(solv, SAT_DEBUG_SCHUBI); + if (0) + printWatches(solv, SAT_DEBUG_SCHUBI); } for (rp = watches + pkg; *rp; rp = nrp) -- 2.7.4