Commit 0f34a5c0 authored by Romain Wallon's avatar Romain Wallon

Another fix for Java 8

parent d89b7c94
Pipeline #8971 passed with stages
in 181 minutes and 6 seconds
......@@ -32,7 +32,6 @@ 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;
......@@ -130,8 +129,7 @@ public class ConflictMapMinimizeWeakening extends ConflictMap {
}
}
}
IVecInt vec = map.entrySet().stream().findFirst()
.orElseThrow(NoSuchElementException::new).getValue();
IVecInt vec = map.entrySet().stream().findFirst().get().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