Mailinglist Archive: zypp-commit (545 mails)

< Previous Next >
[zypp-commit] r8478 - /trunk/sat-solver/src/solver.c
  • From: matz@xxxxxxxxxxxxxxxx
  • Date: Tue, 05 Feb 2008 17:34:17 -0000
  • Message-id: <20080205173417.68199331D9@xxxxxxxxxxxxxxxx>
Author: matz
Date: Tue Feb 5 18:34:17 2008
New Revision: 8478

URL: http://svn.opensuse.org/viewcvs/zypp?rev=8478&view=rev
Log:
Iterating over the literals of a rule requires setting up the literal
list pointer from rule->d.

Modified:
trunk/sat-solver/src/solver.c

Modified: trunk/sat-solver/src/solver.c
URL:
http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/src/solver.c?rev=8478&r1=8477&r2=8478&view=diff
==============================================================================
--- trunk/sat-solver/src/solver.c (original)
+++ trunk/sat-solver/src/solver.c Tue Feb 5 18:34:17 2008
@@ -1582,6 +1582,7 @@
}
queue_push(&solv->learnt_pool, why);
c = solv->rules + why;
+ dp = c->d ? pool->whatprovidesdata + c->d : 0;
IF_POOLDEBUG (SAT_DEBUG_ANALYZE)
printruleclass(solv, SAT_DEBUG_ANALYZE, c);
for (i = -1; ; i++)

--
To unsubscribe, e-mail: zypp-commit+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-commit+help@xxxxxxxxxxxx

< Previous Next >
This Thread
  • No further messages