Commit d89b7c94 authored by Romain Wallon's avatar Romain Wallon

Fixes an issue with Java 8

parent 234f5dec
Pipeline #8969 failed with stages
in 34 minutes and 29 seconds
......@@ -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