Fix NPE on stats

7159972b · Daniel Le Berre · 5f8dd230 · 7159972b
Commit 7159972b authored Nov 20, 2017 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java ...4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java +2 -1

No files found.
--- a/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java
+++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java
@@ -49,7 +49,8 @@ public class PBSolverClause extends PBSolverCP {

    @Override
    protected IConflict chooseConflict(PBConstr myconfl, int level) {
-        return ConflictMapClause.createConflict(myconfl, level, isNoRemove());
+        return ConflictMapClause.createConflict(myconfl, level, isNoRemove(),
+                isSkipAllow(), stats);
    }

    @Override