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:
bd6805b
)
- do not delete negative bitfield entries [bnc#381908]
author
Michael Schroeder
<mls@suse.de>
Tue, 22 Apr 2008 17:09:35 +0000
(17:09 +0000)
committer
Michael Schroeder
<mls@suse.de>
Tue, 22 Apr 2008 17:09:35 +0000
(17:09 +0000)
src/solver.c
patch
|
blob
|
history
diff --git
a/src/solver.c
b/src/solver.c
index
07fa0c1
..
ccb1ee2
100644
(file)
--- a/
src/solver.c
+++ b/
src/solver.c
@@
-1531,7
+1531,10
@@
l1retry:
break;
POOL_DEBUG(SAT_DEBUG_ANALYZE, "got %d involved level 1 decisions\n", l1num);
for (i = 0; i < r.count; i++)
- MAPCLR(&seen, r.elements[i]);
+ {
+ v = r.elements[i];
+ MAPCLR(&seen, v > 0 ? v : -v);
+ }
/* only level 1 marks left */
l1num++;
goto l1retry;