Commit 33982ba9 authored by leberre's avatar leberre
Browse files

removed useless code

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2531 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 6645f219
......@@ -109,9 +109,6 @@ public class OPBReader2012 extends OPBReader2010 {
public IProblem parseInstance(final java.io.Reader input)
throws ParseFormatException, ContradictionException {
super.parseInstance(input);
if (lexico == null) {
this.solver.setObjectiveFunction(getObjectiveFunction());
}
return ((PBSolverHandle) solver).decorated();
}
}
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