Commit 1ab805b1 authored by Daniel Le Berre's avatar Daniel Le Berre

Fix java 1.6 compilation level.

parent dc6c4b77
......@@ -29,7 +29,7 @@ public class OpbToDimacsWriter {
public OpbToDimacsWriter(String[] args)
throws ParseFormatException, IOException, ContradictionException {
Set<EncodingStrategy> tabooEncodings = new HashSet<>();
Set<EncodingStrategy> tabooEncodings = new HashSet<EncodingStrategy>();
for (EncodingStrategy strategy : EncodingStrategy.values()) {
if (tabooEncodings.contains(strategy))
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