- do not delete negative bitfield entries [bnc#381908]

diff --git a/src/solver.c b/src/solver.c
index 07fa0c118cd82d16fd5f6e5e8599ca2e50e8dcd2..ccb1ee2353e7a9afd7cbb4dff404219f6926e547 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;