[zypp-commit] r8478 - /trunk/sat-solver/src/solver.c
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@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org
participants (1)
-
matz@svn.opensuse.org