Commit e72e8677 authored by Romain Wallon's avatar Romain Wallon

Merge branch 'weakening-investigations' into cdcl-strategies

parents f47469ff d89b7c94
......@@ -32,6 +32,7 @@ package org.sat4j.pb.constraints.pb;
import java.math.BigInteger;
import java.util.Map;
import java.util.NoSuchElementException;
import java.util.TreeMap;
import org.sat4j.core.VecInt;
......@@ -129,8 +130,8 @@ public class ConflictMapMinimizeWeakening extends ConflictMap {
}
}
}
IVecInt vec = map.entrySet().stream().findFirst().orElseThrow()
.getValue();
IVecInt vec = map.entrySet().stream().findFirst()
.orElseThrow(NoSuchElementException::new).getValue();
int lit = vec.last();
vec.pop();
return lit;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment