projects
/
platform
/
upstream
/
libsolv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
93759a4
)
Iterating over the literals of a rule requires setting up the literal
author
Michael Matz
<matz@suse.de>
Tue, 5 Feb 2008 17:34:17 +0000
(17:34 +0000)
committer
Michael Matz
<matz@suse.de>
Tue, 5 Feb 2008 17:34:17 +0000
(17:34 +0000)
list pointer from rule->d.
src/solver.c
patch
|
blob
|
history
diff --git
a/src/solver.c
b/src/solver.c
index
7ad82d7
..
b407c46
100644
(file)
--- a/
src/solver.c
+++ b/
src/solver.c
@@
-1582,6
+1582,7
@@
analyze(Solver *solv, int level, Rule *c, int *pr, int *dr, int *whyp)
}
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++)